Trace number 237901

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.24 1808.42

General information on the benchmark

Namehaystacks/
haystacks_44.xml
MD5SUM0722ca56c46929635c236adaf10e929a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1560.29
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1936
Number of constraints41667
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension41667
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/237901-1168083372/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.57	     nbVariables=1936  nbDomainTypes=1  minDomainSize=44  maxDomainSize=44
0.57	       =>  wckTime=0.275  cpuTime=0.16  mem=11M763
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
4.77	   
4.77	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 63M747)
4.88	     nbConstraints=41667  nbConvertedConstraints=40543  nbConvertConstraintsChecks=7744  nbExtensionStructures=4
4.88	     nbSharedExtensionStructures=40539  nbConflictsStructures=4  nbSharedConflictsStructures=40539
4.88	     nbSharedBinaryRepresentations=263  nbEvaluationManagers=4  nbSharedEvaluationManagers=1120  maxDegree=44
4.88	     maxArity=2
4.88	       =>  wckTime=4.583  cpuTime=4.04  mem=69M824
5.14	   
5.14	   solver IterativeSystematicSolver being built... 
5.45	       =>  wckTime=5.155  cpuTime=4.28  mem=61M849
5.76	   
5.76	   preprocessing
5.76	     nbConstraintChecks=99336  nbValidityChecks=2290  nbPropagations=1936  nbRevisions=2248  nbUselessRevisions=2248
5.76	     nbRemovedValues=0  detectedInconsistency=no
5.76	       =>  wckTime=0.287  cpuTime=0.26  mem=61M849
6.39	   
6.39	   search
6.39	     run=0  nbConstraintChecks=364239  nbValidityChecks=278011  nbPropagations=7673  nbRevisions=15156
6.39	     nbUselessRevisions=9534  nbAssignments=182  nbFailedAssignments=9  nbBacktracks=11  nbVisitedNodes=201
6.39	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
6.39	       =>  wckTime=0.933  cpuTime=0.89  mem=63M848
6.75	   
6.75	   search
6.75	     run=1  nbConstraintChecks=596255  nbValidityChecks=515913  nbPropagations=21246  nbRevisions=42146
6.75	     nbUselessRevisions=25121  nbAssignments=376  nbFailedAssignments=21  nbBacktracks=27  nbVisitedNodes=419
6.75	     nbRestartNogoods=3  mapSize=27  nbInferences=0  nbTooLargeKeys=0
6.75	       =>  wckTime=1.292  cpuTime=1.24  mem=65M847
7.05	   
7.05	   search
7.05	     run=2  nbConstraintChecks=777650  nbValidityChecks=710031  nbPropagations=39968  nbRevisions=79065
7.05	     nbUselessRevisions=45551  nbAssignments=545  nbFailedAssignments=39  nbBacktracks=49  nbVisitedNodes=624
7.05	     nbRestartNogoods=6  mapSize=47  nbInferences=0  nbTooLargeKeys=0
7.05	       =>  wckTime=1.591  cpuTime=1.54  mem=67M847
7.39	   
7.39	   search
7.39	     run=3  nbConstraintChecks=1015785  nbValidityChecks=929224  nbPropagations=64098  nbRevisions=127098
7.39	     nbUselessRevisions=71756  nbAssignments=739  nbFailedAssignments=65  nbBacktracks=83  nbVisitedNodes=871
7.39	     nbRestartNogoods=9  mapSize=79  nbInferences=1  nbTooLargeKeys=0
7.39	       =>  wckTime=1.932  cpuTime=1.88  mem=69M846
7.76	   
7.76	   search
7.76	     run=4  nbConstraintChecks=1237259  nbValidityChecks=1186709  nbPropagations=93781  nbRevisions=187428
7.76	     nbUselessRevisions=104781  nbAssignments=964  nbFailedAssignments=102  nbBacktracks=134  nbVisitedNodes=1175
7.76	     nbRestartNogoods=12  mapSize=130  nbInferences=6  nbTooLargeKeys=0
7.76	       =>  wckTime=2.305  cpuTime=2.25  mem=71M845
8.17	   
8.17	   search
8.17	     run=5  nbConstraintChecks=1423717  nbValidityChecks=1447698  nbPropagations=129246  nbRevisions=260441
8.17	     nbUselessRevisions=144807  nbAssignments=1237  nbFailedAssignments=151  nbBacktracks=209  nbVisitedNodes=1563
8.17	     nbRestartNogoods=16  mapSize=205  nbInferences=23  nbTooLargeKeys=0
8.17	       =>  wckTime=2.711  cpuTime=2.65  mem=73M844
8.64	   
8.64	   search
8.64	     run=6  nbConstraintChecks=1607614  nbValidityChecks=1709940  nbPropagations=170816  nbRevisions=346472
8.64	     nbUselessRevisions=191857  nbAssignments=1581  nbFailedAssignments=226  nbBacktracks=323  nbVisitedNodes=2079
8.64	     nbRestartNogoods=18  mapSize=319  nbInferences=45  nbTooLargeKeys=0
8.64	       =>  wckTime=3.181  cpuTime=3.11  mem=76M843
9.20	   
9.20	   search
9.20	     run=7  nbConstraintChecks=1795361  nbValidityChecks=1981169  nbPropagations=218991  nbRevisions=446581
9.20	     nbUselessRevisions=246532  nbAssignments=2034  nbFailedAssignments=333  nbBacktracks=493  nbVisitedNodes=2788
9.20	     nbRestartNogoods=24  mapSize=489  nbInferences=87  nbTooLargeKeys=0
9.20	       =>  wckTime=3.745  cpuTime=3.67  mem=81M841
9.96	   
9.96	   search
9.96	     run=8  nbConstraintChecks=1982447  nbValidityChecks=2245885  nbPropagations=274558  nbRevisions=561458
9.96	     nbUselessRevisions=308816  nbAssignments=2657  nbFailedAssignments=484  nbBacktracks=749  nbVisitedNodes=3796
9.96	     nbRestartNogoods=32  mapSize=745  nbInferences=170  nbTooLargeKeys=0
9.96	       =>  wckTime=4.5  cpuTime=4.4  mem=52M360
10.95	   
10.95	   search
10.95	     run=9  nbConstraintChecks=2175615  nbValidityChecks=2524307  nbPropagations=338800  nbRevisions=693699
10.95	     nbUselessRevisions=380169  nbAssignments=3549  nbFailedAssignments=702  nbBacktracks=1133  nbVisitedNodes=5280
10.95	     nbRestartNogoods=39  mapSize=1129  nbInferences=326  nbTooLargeKeys=0
10.95	       =>  wckTime=5.493  cpuTime=5.39  mem=61M356
12.34	   
12.34	   search
12.34	     run=10  nbConstraintChecks=2372805  nbValidityChecks=2756941  nbPropagations=413718  nbRevisions=842673
12.35	     nbUselessRevisions=458246  nbAssignments=4868  nbFailedAssignments=1012  nbBacktracks=1710  nbVisitedNodes=7520
12.35	     nbRestartNogoods=44  mapSize=1706  nbInferences=627  nbTooLargeKeys=0
12.35	       =>  wckTime=6.887  cpuTime=6.77  mem=74M351
14.50	   
14.50	   search
14.50	     run=11  nbConstraintChecks=2576845  nbValidityChecks=2980488  nbPropagations=502849  nbRevisions=1010339
14.50	     nbUselessRevisions=542031  nbAssignments=6902  nbFailedAssignments=1429  nbBacktracks=2574  nbVisitedNodes=11008
14.50	     nbRestartNogoods=47  mapSize=2570  nbInferences=1247  nbTooLargeKeys=0
14.50	       =>  wckTime=9.046  cpuTime=8.88  mem=76M872
17.91	   
17.91	   search
17.91	     run=12  nbConstraintChecks=2801655  nbValidityChecks=3223120  nbPropagations=612799  nbRevisions=1202503
17.91	     nbUselessRevisions=632106  nbAssignments=10183  nbFailedAssignments=1972  nbBacktracks=3871  nbVisitedNodes=16687
17.91	     nbRestartNogoods=63  mapSize=3867  nbInferences=2559  nbTooLargeKeys=0
17.91	       =>  wckTime=12.455  cpuTime=12.29  mem=115M856
23.30	   
23.30	   search
23.30	     run=13  nbConstraintChecks=3051226  nbValidityChecks=3473315  nbPropagations=752441  nbRevisions=1426513
23.30	     nbUselessRevisions=728715  nbAssignments=15220  nbFailedAssignments=2736  nbBacktracks=5817  nbVisitedNodes=25447
23.30	     nbRestartNogoods=65  mapSize=5813  nbInferences=4754  nbTooLargeKeys=0
23.30	       =>  wckTime=17.842  cpuTime=17.59  mem=124M865
32.46	   
32.46	   search
32.46	     run=14  nbConstraintChecks=3371021  nbValidityChecks=3734702  nbPropagations=941922  nbRevisions=1698434
32.46	     nbUselessRevisions=832438  nbAssignments=23718  nbFailedAssignments=3656  nbBacktracks=8737  nbVisitedNodes=40311
32.46	     nbRestartNogoods=74  mapSize=8733  nbInferences=9280  nbTooLargeKeys=0
32.46	       =>  wckTime=27.001  cpuTime=26.65  mem=177M975
38.88	   
38.88	   search
38.88	     run=15  nbConstraintChecks=3691881  nbValidityChecks=4017115  nbPropagations=1179164  nbRevisions=2022590
38.88	     nbUselessRevisions=944438  nbAssignments=32744  nbFailedAssignments=6192  nbBacktracks=13115  nbVisitedNodes=56481
38.88	     nbRestartNogoods=79  mapSize=13070  nbInferences=11352  nbTooLargeKeys=0
38.88	       =>  wckTime=33.42  cpuTime=33.05  mem=210M388
51.15	   
51.15	   search
51.15	     run=16  nbConstraintChecks=4329642  nbValidityChecks=4604913  nbPropagations=1499392  nbRevisions=2456219
51.15	     nbUselessRevisions=1092308  nbAssignments=47726  nbFailedAssignments=9542  nbBacktracks=19684  nbVisitedNodes=83051
51.15	     nbRestartNogoods=85  mapSize=19596  nbInferences=16240  nbTooLargeKeys=0
51.15	       =>  wckTime=45.692  cpuTime=45.12  mem=272M754
79.24	   
79.24	   search
79.24	     run=17  nbConstraintChecks=5447976  nbValidityChecks=5358905  nbPropagations=1987769  nbRevisions=3054246
79.24	     nbUselessRevisions=1268692  nbAssignments=76976  nbFailedAssignments=12533  nbBacktracks=29537
79.24	     nbVisitedNodes=134516  nbRestartNogoods=99  mapSize=29407  nbInferences=32473  nbTooLargeKeys=0
79.24	       =>  wckTime=73.782  cpuTime=72.84  mem=380M289
128.83	   
128.83	   search
128.83	     run=18  nbConstraintChecks=6980675  nbValidityChecks=6457832  nbPropagations=2754290  nbRevisions=3971046
128.83	     nbUselessRevisions=1543840  nbAssignments=124882  nbFailedAssignments=16106  nbBacktracks=44315
128.83	     nbVisitedNodes=218951  nbRestartNogoods=107  mapSize=44143  nbInferences=61856  nbTooLargeKeys=0
128.83	       =>  wckTime=123.372  cpuTime=121.81  mem=593M633
132.78	   
132.78	   INFO : Stopping hyperNogood (mapSize=45883, nbTooLargekeys=0, mem=601M101)
147.65	   
147.65	   search
147.65	     run=19  nbConstraintChecks=7970878  nbValidityChecks=7155598  nbPropagations=3701992  nbRevisions=5085555
147.65	     nbUselessRevisions=1837998  nbAssignments=163057  nbFailedAssignments=30614  nbBacktracks=66484
147.65	     nbVisitedNodes=287466  nbRestartNogoods=123
147.65	       =>  wckTime=142.188  cpuTime=140.5  mem=601M101
172.48	   
172.48	   search
172.48	     run=20  nbConstraintChecks=9165528  nbValidityChecks=7911246  nbPropagations=4910619  nbRevisions=6479783
172.48	     nbUselessRevisions=2150883  nbAssignments=219281  nbFailedAssignments=53411  nbBacktracks=99736
172.48	     nbVisitedNodes=389283  nbRestartNogoods=142
172.48	       =>  wckTime=167.023  cpuTime=165.23  mem=601M101
210.14	   
210.14	   search
210.14	     run=21  nbConstraintChecks=10769509  nbValidityChecks=8780375  nbPropagations=6506990  nbRevisions=8283453
210.14	     nbUselessRevisions=2485442  nbAssignments=303699  nbFailedAssignments=87776  nbBacktracks=149616
210.14	     nbVisitedNodes=542431  nbRestartNogoods=155
210.14	       =>  wckTime=204.686  cpuTime=202.72  mem=601M101
265.07	   
265.07	   search
265.07	     run=22  nbConstraintChecks=12967295  nbValidityChecks=9700023  nbPropagations=8683853  nbRevisions=10696086
265.07	     nbUselessRevisions=2846868  nbAssignments=430568  nbFailedAssignments=139610  nbBacktracks=224434
265.07	     nbVisitedNodes=772965  nbRestartNogoods=171
265.07	       =>  wckTime=259.608  cpuTime=257.39  mem=601M101
348.47	   
348.47	   search
348.47	     run=23  nbConstraintChecks=15870201  nbValidityChecks=11156338  nbPropagations=11719559  nbRevisions=14127330
348.47	     nbUselessRevisions=3367952  nbAssignments=620761  nbFailedAssignments=217362  nbBacktracks=336661
348.47	     nbVisitedNodes=1118662  nbRestartNogoods=196
348.47	       =>  wckTime=343.011  cpuTime=340.41  mem=601M101
469.24	   
469.24	   search
469.24	     run=24  nbConstraintChecks=19721941  nbValidityChecks=12090269  nbPropagations=16038932  nbRevisions=18865749
469.24	     nbUselessRevisions=3912559  nbAssignments=905806  nbFailedAssignments=333852  nbBacktracks=505003
469.24	     nbVisitedNodes=1636687  nbRestartNogoods=206
469.25	       =>  wckTime=463.787  cpuTime=460.65  mem=601M101
650.75	   
650.75	   search
650.75	     run=25  nbConstraintChecks=24993009  nbValidityChecks=12962663  nbPropagations=22268907  nbRevisions=25537876
650.75	     nbUselessRevisions=4480291  nbAssignments=1331586  nbFailedAssignments=506907  nbBacktracks=757514
650.75	     nbVisitedNodes=2408576  nbRestartNogoods=226
650.75	       =>  wckTime=645.294  cpuTime=641.34  mem=601M101
926.51	   
926.51	   search
926.51	     run=26  nbConstraintChecks=32654630  nbValidityChecks=13841125  nbPropagations=31363043  nbRevisions=35097876
926.51	     nbUselessRevisions=5071753  nbAssignments=1971076  nbFailedAssignments=767416  nbBacktracks=1136283
926.51	     nbVisitedNodes=3569083  nbRestartNogoods=247
926.51	       =>  wckTime=921.048  cpuTime=915.85  mem=601M101
1340.76	   
1340.76	   search
1340.76	     run=27  nbConstraintChecks=43895799  nbValidityChecks=14724069  nbPropagations=44767212  nbRevisions=48990235
1340.76	     nbUselessRevisions=5685541  nbAssignments=2934543  nbFailedAssignments=1162551  nbBacktracks=1704434
1340.76	     nbVisitedNodes=5322819  nbRestartNogoods=263
1340.76	       =>  wckTime=1335.302  cpuTime=1328.25  mem=601M101

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/node60/watcher-237901-1168083372 -o ROOT/results/node60/solver-237901-1168083372 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237901-1168083372/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.12 1.63 1.72 4/80 13793
/proc/meminfo: memFree=1409880/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=1784 CPUtime=0
/proc/13792/stat : 13792 (java) D 13790 13792 13248 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 156736203 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/13792/statm: 446 160 125 14 0 91 0

[startup+0.107595 s]
/proc/loadavg: 1.12 1.63 1.72 4/80 13793
/proc/meminfo: memFree=1409880/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916012 CPUtime=0.08
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 3065 0 1 0 7 1 0 0 22 0 8 0 156736203 937996288 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229003 2811 1451 14 0 215498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 916012

[startup+0.515635 s]
/proc/loadavg: 1.12 1.63 1.72 4/80 13793
/proc/meminfo: memFree=1409880/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916352 CPUtime=0.46
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 6859 0 1 0 42 4 0 0 23 0 8 0 156736203 938344448 6598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229088 6599 2138 14 0 215558 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 916352

[startup+1.33872 s]
/proc/loadavg: 1.12 1.63 1.72 3/87 13800
/proc/meminfo: memFree=1346464/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916668 CPUtime=1.29
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 18229 0 1 0 120 9 0 0 25 0 8 0 156736203 938668032 17967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229167 17967 2160 14 0 215637 0
[pid=13792/tid=13794] ppid=13790 vsize=916668 CPUtime=0.05
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 1686 0 0 0 5 0 0 0 17 0 8 0 156736207 938668032 17967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938668032 17967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938668032 17967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938668032 17967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916668 CPUtime=0.14
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 407 0 0 0 14 0 0 0 16 0 8 0 156736210 938668032 17967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938668032 17967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938668032 17967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916668

[startup+2.99188 s]
/proc/loadavg: 1.12 1.63 1.72 3/87 13800
/proc/meminfo: memFree=1332192/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916668 CPUtime=2.94
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 21781 0 1 0 229 65 0 0 25 0 8 0 156736203 938668032 21516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229168 21516 2180 14 0 215638 0
[pid=13792/tid=13794] ppid=13790 vsize=916668 CPUtime=0.19
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 5149 0 0 0 18 1 0 0 16 0 8 0 156736207 938668032 21516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916672 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938672128 21516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938668032 21516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938668032 21516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916672 CPUtime=0.19
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 432 0 0 0 19 0 0 0 16 0 8 0 156736210 938672128 21516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938668032 21516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916668 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938668032 21516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916668

[startup+6.27421 s]
/proc/loadavg: 1.11 1.62 1.72 2/75 13800
/proc/meminfo: memFree=1352512/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916892 CPUtime=6.22
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 28509 0 1 0 459 163 0 0 17 0 8 0 156736203 938897408 28174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074146126 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13792/statm: 229223 28174 2535 14 0 215693 0
[pid=13792/tid=13794] ppid=13790 vsize=916892 CPUtime=0.58
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 11366 0 0 0 56 2 0 0 16 0 8 0 156736207 938897408 28174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916892 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938897408 28174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916892 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938897408 28174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916892 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938897408 28174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916892 CPUtime=0.32
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 520 0 0 0 30 2 0 0 15 0 8 0 156736210 938897408 28174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916892 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938897408 28174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916892 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938897408 28174 18446744073709551615 134512640 134570532 4294956480 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) 916892

[startup+12.7506 s]
/proc/loadavg: 1.10 1.61 1.71 2/75 13808
/proc/meminfo: memFree=1345992/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=12.69
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 30127 0 1 0 1105 164 0 0 17 0 8 0 156736203 938864640 29782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13792/statm: 229215 29782 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=0.61
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 12948 0 0 0 58 3 0 0 16 0 8 0 156736207 938864640 29782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 29782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 29782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 29782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.36
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 542 0 0 0 34 2 0 0 16 0 8 0 156736210 938864640 29782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 29782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 29782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 916860

[startup+25.5839 s]
/proc/loadavg: 1.08 1.58 1.70 2/75 13808
/proc/meminfo: memFree=1273224/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=25.53
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 48339 0 1 0 2382 171 0 0 20 0 8 0 156736203 938864640 47991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074219276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13792/statm: 229215 47991 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=0.74
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 31156 0 0 0 65 9 0 0 16 0 8 0 156736207 938864640 47991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 47991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 47991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 47991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 543 0 0 0 35 2 0 0 17 0 8 0 156736210 938864640 47991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 47991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 47991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 916860

[startup+51.2824 s]
/proc/loadavg: 1.28 1.58 1.70 3/87 13912
/proc/meminfo: memFree=1139168/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=51.12
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 74524 0 1 0 4931 181 0 0 25 0 8 0 156736203 938864640 74171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 74171 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=0.95
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 57335 0 0 0 76 19 0 0 16 0 8 0 156736207 938864640 74171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 74171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 74171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 74171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 74171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 74171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 74171 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 916860

[startup+102.496 s]
/proc/loadavg: 1.68 1.64 1.71 3/87 13912
/proc/meminfo: memFree=876000/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=102.11
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 131914 0 1 0 10008 203 0 0 25 0 8 0 156736203 938864640 131548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074219262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 131548 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=1.43
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 114712 0 0 0 102 41 0 0 16 0 8 0 156736207 938864640 131548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 131548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 131548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 131548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 131548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 131548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 131548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 916860

[startup+162.548 s]
/proc/loadavg: 1.88 1.70 1.73 3/87 13912
/proc/meminfo: memFree=732896/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=161.89
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 156613 0 1 0 15976 213 0 0 25 0 8 0 156736203 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203282 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1416.86
Current children cumulated vsize (KiB) 916860

[startup+1483.22 s]
/proc/loadavg: 2.07 2.03 1.92 3/93 13976
/proc/meminfo: memFree=227104/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=1476.62
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 156613 0 1 0 147446 216 0 0 25 0 8 0 156736203 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 156239 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=1.64
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 139403 0 0 0 114 50 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.62
Current children cumulated vsize (KiB) 916860

[startup+1543.28 s]
/proc/loadavg: 2.02 2.02 1.92 3/93 14068
/proc/meminfo: memFree=227048/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=1536.32
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 156613 0 1 0 153409 223 0 0 25 0 8 0 156736203 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 156239 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=1.64
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 139403 0 0 0 114 50 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.32
Current children cumulated vsize (KiB) 916860

[startup+1603.32 s]
/proc/loadavg: 2.01 2.02 1.92 3/87 14110
/proc/meminfo: memFree=228000/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=1596.07
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 156613 0 1 0 159381 226 0 0 25 0 8 0 156736203 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074230151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 156239 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=1.64
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 139403 0 0 0 114 50 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.07
Current children cumulated vsize (KiB) 916860

[startup+1663.35 s]
/proc/loadavg: 2.08 2.03 1.92 3/87 14110
/proc/meminfo: memFree=228000/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=1655.84
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 156613 0 1 0 165358 226 0 0 25 0 8 0 156736203 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204823 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 156239 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=1.64
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 139403 0 0 0 114 50 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.84
Current children cumulated vsize (KiB) 916860

[startup+1723.39 s]
/proc/loadavg: 2.03 2.02 1.92 3/87 14110
/proc/meminfo: memFree=228000/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=1715.58
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 156613 0 1 0 171332 226 0 0 25 0 8 0 156736203 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074230161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 156239 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=1.64
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 139403 0 0 0 114 50 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.58
Current children cumulated vsize (KiB) 916860

[startup+1783.42 s]
/proc/loadavg: 2.01 2.02 1.92 3/87 14110
/proc/meminfo: memFree=228000/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=1775.35
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 156613 0 1 0 177309 226 0 0 25 0 8 0 156736203 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 156239 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=1.64
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 139403 0 0 0 114 50 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.35
Current children cumulated vsize (KiB) 916860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.29 s]
/proc/loadavg: 2.00 2.01 1.92 3/87 14110
/proc/meminfo: memFree=228000/2055920 swapFree=4192812/4192956
[pid=13792] ppid=13790 vsize=916860 CPUtime=1800.1
/proc/13792/stat : 13792 (java) R 13790 13792 13248 0 -1 0 156613 0 1 0 179784 226 0 0 25 0 8 0 156736203 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13792/statm: 229215 156239 2538 14 0 215685 0
[pid=13792/tid=13794] ppid=13790 vsize=916860 CPUtime=1.64
/proc/13792/task/13794/stat : 13794 (java) S 13790 13792 13248 0 -1 64 139403 0 0 0 114 50 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13795] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13795/stat : 13795 (java) S 13790 13792 13248 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13796] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13796/stat : 13796 (java) S 13790 13792 13248 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156736207 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13797] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13797/stat : 13797 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13798] ppid=13790 vsize=916860 CPUtime=0.37
/proc/13792/task/13798/stat : 13798 (java) S 13790 13792 13248 0 -1 64 544 0 0 0 35 2 0 0 16 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13799] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13799/stat : 13799 (java) S 13790 13792 13248 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13792/tid=13800] ppid=13790 vsize=916860 CPUtime=0
/proc/13792/task/13800/stat : 13800 (java) S 13790 13792 13248 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156736210 938864640 156239 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 916860

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

Child status: 143
Real time (s): 1808.42
CPU time (s): 1800.24
CPU user time (s): 1797.87
CPU system time (s): 2.36164
CPU usage (%): 99.5472
Max. virtual memory (cumulated for all children) (KiB): 917028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.87
system time used= 2.36164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156628
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= 38231
involuntary context switches= 59785

runsolver used 1.53477 s user time and 4.98324 s system time

The end

Launcher Data (download as text)

Begin job on node60 on Sat Jan  6 11:36:21 UTC 2007


IDJOB= 237901
IDBENCH= 6970
FILE ID= node60/237901-1168083372

PBS_JOBID= 3476189

Free space on /tmp= 66545 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0722ca56c46929635c236adaf10e929a

RANDOM SEED= 934616665

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.236
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.236
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:       1410296 kB
Buffers:         48428 kB
Cached:         455792 kB
SwapCached:          0 kB
Active:         119744 kB
Inactive:       450660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1410296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6748 kB
Writeback:           0 kB
Mapped:          86396 kB
Slab:            60240 kB
Committed_AS:  4132884 kB
PageTables:       1996 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66545 MiB



End job on node60 on Sat Jan  6 12:06:33 UTC 2007