Trace number 237725

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.17 1814.96

General information on the benchmark

Namehaystacks/
haystacks_31.xml
MD5SUM3807993ed2a30880ef814b06dd715ec6
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 benchmark115.557
SatisfiableNO
(Un)Satisfiability was proved
Number of variables961
Number of constraints14445
Maximum constraint arity2
Maximum domain size31
Number of constraints which are defined in extension0
Number of constraints which are defined in intension14445
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
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/237725-1168083343/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.49	     nbVariables=961  nbDomainTypes=1  minDomainSize=31  maxDomainSize=31
0.49	       =>  wckTime=0.188  cpuTime=0.14  mem=8M838
0.49	   
0.49	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
2.29	     nbConstraints=14445  nbConvertedConstraints=14445  nbConvertConstraintsChecks=3844  nbExtensionStructures=4
2.29	     nbSharedExtensionStructures=14441  nbConflictsStructures=4  nbSharedConflictsStructures=14441
2.29	     nbSharedBinaryRepresentations=185  maxDegree=31  maxArity=2
2.29	       =>  wckTime=1.986  cpuTime=1.78  mem=44M18
2.42	   
2.42	   solver IterativeSystematicSolver being built... 
2.64	       =>  wckTime=2.33  cpuTime=1.94  mem=26M413
2.71	   
2.71	   preprocessing
2.71	     nbConstraintChecks=0  nbPropagations=961  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.71	     detectedInconsistency=no
2.71	       =>  wckTime=0.062  cpuTime=0.05  mem=26M413
2.86	   
2.86	   search
2.86	     run=0  nbConstraintChecks=57458  nbPropagations=3372  nbRevisions=2440  nbUselessRevisions=68  nbAssignments=105
2.86	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=126  nbRestartNogoods=0  mapSize=10  nbInferences=0
2.86	     nbTooLargeKeys=0
2.86	       =>  wckTime=0.215  cpuTime=0.18  mem=27M400
2.92	   
2.92	   search
2.92	     run=1  nbConstraintChecks=115217  nbPropagations=9199  nbRevisions=7374  nbUselessRevisions=211  nbAssignments=220
2.92	     nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=269  nbRestartNogoods=4  mapSize=25  nbInferences=0
2.92	     nbTooLargeKeys=0
2.92	       =>  wckTime=0.285  cpuTime=0.25  mem=27M400
3.00	   
3.00	   search
3.00	     run=2  nbConstraintChecks=173199  nbPropagations=17546  nbRevisions=14877  nbUselessRevisions=435
3.00	     nbAssignments=348  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=437  nbRestartNogoods=7  mapSize=47
3.00	     nbInferences=0  nbTooLargeKeys=0
3.00	       =>  wckTime=0.356  cpuTime=0.32  mem=28M387
3.07	   
3.07	   search
3.07	     run=3  nbConstraintChecks=231488  nbPropagations=28495  nbRevisions=25030  nbUselessRevisions=741
3.07	     nbAssignments=495  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=639  nbRestartNogoods=12  mapSize=80
3.07	     nbInferences=1  nbTooLargeKeys=0
3.07	       =>  wckTime=0.433  cpuTime=0.4  mem=28M387
3.16	   
3.16	   search
3.16	     run=4  nbConstraintChecks=290150  nbPropagations=42180  nbRevisions=37959  nbUselessRevisions=1127
3.16	     nbAssignments=672  nbFailedAssignments=108  nbBacktracks=131  nbVisitedNodes=895  nbRestartNogoods=16  mapSize=131
3.16	     nbInferences=6  nbTooLargeKeys=0
3.16	       =>  wckTime=0.519  cpuTime=0.49  mem=29M373
3.27	   
3.27	   search
3.27	     run=5  nbConstraintChecks=349515  nbPropagations=58830  nbRevisions=53871  nbUselessRevisions=1595
3.27	     nbAssignments=897  nbFailedAssignments=157  nbBacktracks=206  nbVisitedNodes=1235  nbRestartNogoods=20  mapSize=206
3.27	     nbInferences=23  nbTooLargeKeys=0
3.27	       =>  wckTime=0.626  cpuTime=0.59  mem=29M373
3.40	   
3.40	   search
3.40	     run=6  nbConstraintChecks=409767  nbPropagations=78766  nbRevisions=73080  nbUselessRevisions=2149
3.40	     nbAssignments=1193  nbFailedAssignments=232  nbBacktracks=320  nbVisitedNodes=1703  nbRestartNogoods=22
3.40	     mapSize=320  nbInferences=45  nbTooLargeKeys=0
3.40	       =>  wckTime=0.76  cpuTime=0.72  mem=30M360
3.58	   
3.58	   search
3.58	     run=7  nbConstraintChecks=471293  nbPropagations=102475  nbRevisions=96032  nbUselessRevisions=2789
3.58	     nbAssignments=1596  nbFailedAssignments=338  nbBacktracks=490  nbVisitedNodes=2360  nbRestartNogoods=28
3.58	     mapSize=489  nbInferences=87  nbTooLargeKeys=0
3.58	       =>  wckTime=0.942  cpuTime=0.88  mem=32M334
3.81	   
3.81	   search
3.81	     run=8  nbConstraintChecks=534897  nbPropagations=130732  nbRevisions=123431  nbUselessRevisions=3520
3.81	     nbAssignments=2168  nbFailedAssignments=489  nbBacktracks=747  nbVisitedNodes=3315  nbRestartNogoods=35
3.81	     mapSize=744  nbInferences=168  nbTooLargeKeys=0
3.81	       =>  wckTime=1.166  cpuTime=1.1  mem=34M307
4.12	   
4.12	   search
4.12	     run=9  nbConstraintChecks=602015  nbPropagations=164828  nbRevisions=156418  nbUselessRevisions=4344
4.12	     nbAssignments=3010  nbFailedAssignments=706  nbBacktracks=1131  nbVisitedNodes=4747  nbRestartNogoods=41
4.12	     mapSize=1127  nbInferences=324  nbTooLargeKeys=0
4.12	       =>  wckTime=1.479  cpuTime=1.41  mem=37M267
4.57	   
4.57	   search
4.57	     run=10  nbConstraintChecks=675595  nbPropagations=206560  nbRevisions=196652  nbUselessRevisions=5300
4.57	     nbAssignments=4232  nbFailedAssignments=1027  nbBacktracks=1707  nbVisitedNodes=6857  nbRestartNogoods=45
4.57	     mapSize=1698  nbInferences=570  nbTooLargeKeys=0
4.57	       =>  wckTime=1.928  cpuTime=1.85  mem=41M214
5.10	   
5.10	   search
5.10	     run=11  nbConstraintChecks=764060  nbPropagations=258395  nbRevisions=246968  nbUselessRevisions=6695
5.10	     nbAssignments=5935  nbFailedAssignments=1543  nbBacktracks=2571  nbVisitedNodes=9890  nbRestartNogoods=52
5.10	     mapSize=2525  nbInferences=868  nbTooLargeKeys=0
5.10	       =>  wckTime=2.461  cpuTime=2.38  mem=44M174
5.95	   
5.95	   search
5.95	     run=12  nbConstraintChecks=870437  nbPropagations=326342  nbRevisions=312337  nbUselessRevisions=8599
5.95	     nbAssignments=8800  nbFailedAssignments=2226  nbBacktracks=3868  nbVisitedNodes=14981  nbRestartNogoods=56
5.95	     mapSize=3785  nbInferences=1728  nbTooLargeKeys=0
5.95	       =>  wckTime=3.312  cpuTime=3.23  mem=46M147
7.73	   
7.73	   search
7.73	     run=13  nbConstraintChecks=1168610  nbPropagations=424064  nbRevisions=405570  nbUselessRevisions=12027
7.73	     nbAssignments=13435  nbFailedAssignments=3045  nbBacktracks=5814  nbVisitedNodes=23010  nbRestartNogoods=63
7.73	     mapSize=5642  nbInferences=3484  nbTooLargeKeys=0
7.73	       =>  wckTime=5.091  cpuTime=4.97  mem=35M658
10.71	   
10.71	   search
10.71	     run=14  nbConstraintChecks=1430819  nbPropagations=566580  nbRevisions=537088  nbUselessRevisions=16346
10.71	     nbAssignments=21241  nbFailedAssignments=4104  nbBacktracks=8733  nbVisitedNodes=36649  nbRestartNogoods=73
10.71	     mapSize=8531  nbInferences=7199  nbTooLargeKeys=0
10.71	       =>  wckTime=8.075  cpuTime=7.95  mem=68M675
15.89	   
15.89	   search
15.89	     run=15  nbConstraintChecks=1803664  nbPropagations=784564  nbRevisions=730921  nbUselessRevisions=21886
15.89	     nbAssignments=34253  nbFailedAssignments=5414  nbBacktracks=13112  nbVisitedNodes=59492  nbRestartNogoods=85
15.89	     mapSize=12876  nbInferences=14410  nbTooLargeKeys=0
15.89	       =>  wckTime=13.246  cpuTime=13.02  mem=67M140
22.88	   
22.88	   search
22.88	     run=16  nbConstraintChecks=2233224  nbPropagations=1102485  nbRevisions=1007018  nbUselessRevisions=28355
22.88	     nbAssignments=52491  nbFailedAssignments=7660  nbBacktracks=19681  nbVisitedNodes=91541  nbRestartNogoods=103
22.88	     mapSize=19410  nbInferences=23729  nbTooLargeKeys=0
22.88	       =>  wckTime=20.243  cpuTime=19.96  mem=119M487
34.84	   
34.84	   search
34.84	     run=17  nbConstraintChecks=3063277  nbPropagations=1606976  nbRevisions=1434671  nbUselessRevisions=38053
34.84	     nbAssignments=84388  nbFailedAssignments=10136  nbBacktracks=29533  nbVisitedNodes=147816  nbRestartNogoods=113
34.84	     mapSize=29185  nbInferences=43156  nbTooLargeKeys=0
34.84	       =>  wckTime=32.204  cpuTime=31.69  mem=169M100
53.01	   
53.01	   search
53.01	     run=18  nbConstraintChecks=4197264  nbPropagations=2390882  nbRevisions=2086039  nbUselessRevisions=51741
53.01	     nbAssignments=132866  nbFailedAssignments=13527  nbBacktracks=44311  nbVisitedNodes=233243  nbRestartNogoods=122
53.01	     mapSize=43895  nbInferences=73324  nbTooLargeKeys=0
53.01	       =>  wckTime=50.371  cpuTime=49.53  mem=223M802
89.89	   
89.89	   search
89.89	     run=19  nbConstraintChecks=6877952  nbPropagations=3797697  nbRevisions=3228862  nbUselessRevisions=70713
89.89	     nbAssignments=226811  nbFailedAssignments=16388  nbBacktracks=66480  nbVisitedNodes=401691  nbRestartNogoods=149
89.89	     mapSize=66061  nbInferences=142105  nbTooLargeKeys=0
89.89	       =>  wckTime=87.249  cpuTime=85.83  mem=346M30
136.49	   
136.49	   search
136.49	     run=20  nbConstraintChecks=10199665  nbPropagations=5986758  nbRevisions=4994198  nbUselessRevisions=102575
136.49	     nbAssignments=352685  nbFailedAssignments=21818  nbBacktracks=99732  nbVisitedNodes=625446  nbRestartNogoods=162
136.49	     mapSize=99152  nbInferences=229129  nbTooLargeKeys=0
136.49	       =>  wckTime=133.848  cpuTime=131.64  mem=493M126
159.16	   
159.16	   INFO : Stopping hyperNogood (mapSize=117062, nbTooLargekeys=0, mem=601M935)
168.57	   
168.57	   search
168.57	     run=21  nbConstraintChecks=12410537  nbPropagations=8783682  nbRevisions=7313001  nbUselessRevisions=152092
168.57	     nbAssignments=467999  nbFailedAssignments=47130  nbBacktracks=149610  nbVisitedNodes=831337  nbRestartNogoods=192
168.57	       =>  wckTime=165.934  cpuTime=163.25  mem=601M935
190.90	   
190.90	   search
190.90	     run=22  nbConstraintChecks=13995338  nbPropagations=12151419  nbRevisions=10203999  nbUselessRevisions=203034
190.90	     nbAssignments=594701  nbFailedAssignments=98847  nbBacktracks=224428  nbVisitedNodes=1061473  nbRestartNogoods=223
190.90	       =>  wckTime=188.263  cpuTime=185.41  mem=601M935
223.39	   
223.40	   search
223.40	     run=23  nbConstraintChecks=16513243  nbPropagations=16379283  nbRevisions=13958544  nbUselessRevisions=257113
223.40	     nbAssignments=784795  nbFailedAssignments=176514  nbBacktracks=336656  nbVisitedNodes=1406895  nbRestartNogoods=239
223.40	       =>  wckTime=220.756  cpuTime=217.64  mem=601M935
272.00	   
272.00	   search
272.00	     run=24  nbConstraintChecks=19994625  nbPropagations=21888518  nbRevisions=18997263  nbUselessRevisions=313934
272.00	     nbAssignments=1069793  nbFailedAssignments=292972  nbBacktracks=504998  nbVisitedNodes=1924805
272.00	     nbRestartNogoods=264
272.00	       =>  wckTime=269.36  cpuTime=265.85  mem=601M935
365.85	   
365.85	   search
365.85	     run=25  nbConstraintChecks=152188218  nbPropagations=30802166  nbRevisions=30994250  nbUselessRevisions=675979
365.85	     nbAssignments=1495564  nbFailedAssignments=466032  nbBacktracks=757509  nbVisitedNodes=2683714
365.85	     nbRestartNogoods=294
365.85	       =>  wckTime=363.208  cpuTime=358.94  mem=601M935
483.19	   
483.19	   search
483.19	     run=26  nbConstraintChecks=159493707  nbPropagations=42584997  nbRevisions=45861409  nbUselessRevisions=1039040
483.19	     nbAssignments=2137413  nbFailedAssignments=729018  nbBacktracks=1136276  nbVisitedNodes=3851535
483.19	     nbRestartNogoods=314
483.19	       =>  wckTime=480.555  cpuTime=475.33  mem=601M935
660.68	   
660.68	   search
660.68	     run=27  nbConstraintChecks=170489954  nbPropagations=58674441  nbRevisions=65036929  nbUselessRevisions=1403803
660.68	     nbAssignments=3100595  nbFailedAssignments=1123959  nbBacktracks=1704427  nbVisitedNodes=5604599
660.68	     nbRestartNogoods=332
660.68	       =>  wckTime=658.039  cpuTime=651.41  mem=601M935
928.01	   
928.01	   search
928.01	     run=28  nbConstraintChecks=186848023  nbPropagations=81214646  nbRevisions=90675161  nbUselessRevisions=1776754
928.01	     nbAssignments=4544206  nbFailedAssignments=1715261  nbBacktracks=2556653  nbVisitedNodes=8230814
928.01	     nbRestartNogoods=355
928.01	       =>  wckTime=925.374  cpuTime=916.58  mem=601M935
1326.10	   
1326.10	   search
1326.10	     run=29  nbConstraintChecks=212005675  nbPropagations=113459742  nbRevisions=126030552  nbUselessRevisions=2158246
1326.10	     nbAssignments=6710898  nbFailedAssignments=2603525  nbBacktracks=3834994  nbVisitedNodes=12174034
1326.10	     nbRestartNogoods=367
1326.10	       =>  wckTime=1323.457  cpuTime=1311.46  mem=601M935

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/node35/watcher-237725-1168083343 -o ROOT/results/node35/solver-237725-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237725-1168083343/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.19 1.12 1.52 3/68 15092
/proc/meminfo: memFree=1620416/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=1460 CPUtime=0
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 124 0 0 0 0 0 0 0 19 0 1 0 156729920 1495040 96 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4160642160 0 0 4096 0 0 0 0 17 1 0 0
/proc/15091/statm: 398 103 82 14 0 43 0

[startup+0.10799 s]
/proc/loadavg: 0.19 1.12 1.52 3/68 15092
/proc/meminfo: memFree=1620416/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=914988 CPUtime=0.08
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 3003 0 1 0 7 1 0 0 16 0 8 0 156729920 936947712 2749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15091/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516033 s]
/proc/loadavg: 0.19 1.12 1.52 3/68 15092
/proc/meminfo: memFree=1620416/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=915328 CPUtime=0.48
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 6661 0 1 0 45 3 0 0 16 0 8 0 156729920 937295872 6401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15091/statm: 228832 6401 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33813 s]
/proc/loadavg: 0.26 1.12 1.52 2/75 15099
/proc/meminfo: memFree=1558472/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916656 CPUtime=1.31
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 17877 0 1 0 115 16 0 0 15 0 8 0 156729920 938655744 17615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15091/statm: 229163 17615 2180 14 0 215633 0
[pid=15091/tid=15093] ppid=15089 vsize=916656 CPUtime=0.05
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 1264 0 0 0 5 0 0 0 17 0 8 0 156729924 938655744 17615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916652 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938651648 17615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916656 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938655744 17615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916652 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938651648 17615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916656 CPUtime=0.16
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 422 0 0 0 16 0 0 0 16 0 8 0 156729927 938655744 17615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916652 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938651648 17615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916656 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 16 0 8 0 156729928 938655744 17615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916656

[startup+2.98433 s]
/proc/loadavg: 0.26 1.12 1.52 3/75 15099
/proc/meminfo: memFree=1558280/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=2.95
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 20491 0 1 0 227 68 0 0 17 0 8 0 156729920 938885120 20217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074091632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 20217 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=0.16
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 3370 0 0 0 16 0 0 0 15 0 8 0 156729924 938885120 20217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 20217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 20217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 20217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.27
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 490 0 0 0 26 1 0 0 16 0 8 0 156729927 938885120 20217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 20217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 20217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916880

[startup+6.26071 s]
/proc/loadavg: 0.32 1.12 1.52 2/75 15099
/proc/meminfo: memFree=1549192/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=6.21
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 20513 0 1 0 552 69 0 0 19 0 8 0 156729920 938885120 20236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15091/statm: 229220 20236 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=0.16
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 3370 0 0 0 16 0 0 0 16 0 8 0 156729924 938885120 20236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 20236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 20236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 20236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 510 0 0 0 30 2 0 0 15 0 8 0 156729927 938885120 20236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 20236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 20236 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 916880

[startup+12.7455 s]
/proc/loadavg: 0.37 1.12 1.52 2/75 15099
/proc/meminfo: memFree=1507720/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=12.68
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 30862 0 1 0 1196 72 0 0 18 0 8 0 156729920 938885120 30583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15091/statm: 229220 30583 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=0.26
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 13717 0 0 0 22 4 0 0 16 0 8 0 156729924 938885120 30583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 30583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 30583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 30583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 510 0 0 0 30 2 0 0 15 0 8 0 156729927 938885120 30583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 30583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 30583 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 916880

[startup+25.584 s]
/proc/loadavg: 0.47 1.11 1.51 4/87 15144
/proc/meminfo: memFree=1395240/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=25.49
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 45183 0 1 0 2470 79 0 0 25 0 8 0 156729920 938885120 44901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074119495 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 44901 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=0.38
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 28035 0 0 0 28 10 0 0 17 0 8 0 156729924 938885120 44901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 44901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 44901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 44901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 510 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 44901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 44901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 44901 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 916880

[startup+51.192 s]
/proc/loadavg: 1.20 1.23 1.54 3/87 15144
/proc/meminfo: memFree=1142632/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=50.88
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 67842 0 1 0 5000 88 0 0 25 0 8 0 156729920 938885120 67553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074075999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 67553 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=0.6
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 50685 0 0 0 42 18 0 0 16 0 8 0 156729924 938885120 67553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 67553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 67553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 67553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 67553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 67553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 67553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 916880

[startup+102.395 s]
/proc/loadavg: 1.65 1.34 1.56 3/87 15144
/proc/meminfo: memFree=749736/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=101.66
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 110146 0 1 0 10063 103 0 0 25 0 8 0 156729920 938885120 109844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 109844 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=1.03
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 92976 0 0 0 70 33 0 0 16 0 8 0 156729924 938885120 109844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 109844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 109844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 109844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 109844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 109844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 109844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 916880

[startup+162.445 s]
/proc/loadavg: 1.87 1.46 1.58 3/87 15144
/proc/meminfo: memFree=373032/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=161.23
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 156979 0 1 0 16003 120 0 0 25 0 8 0 156729920 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1411.44
Current children cumulated vsize (KiB) 916880

[startup+1482.84 s]
/proc/loadavg: 2.03 2.00 1.87 4/87 15144
/proc/meminfo: memFree=372520/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=1470.96
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 156980 0 1 0 146973 123 0 0 25 0 8 0 156729920 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 156663 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=1.53
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 139795 0 0 0 102 51 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.96
Current children cumulated vsize (KiB) 916880

[startup+1542.88 s]
/proc/loadavg: 2.01 2.00 1.88 3/93 15284
/proc/meminfo: memFree=370920/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=1530.4
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 156980 0 1 0 152913 127 0 0 25 0 8 0 156729920 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 156663 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=1.53
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 139795 0 0 0 102 51 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.4
Current children cumulated vsize (KiB) 916880

[startup+1602.92 s]
/proc/loadavg: 2.00 2.00 1.89 3/87 15342
/proc/meminfo: memFree=371880/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=1589.86
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 156980 0 1 0 158854 132 0 0 25 0 8 0 156729920 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043320 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 156663 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=1.53
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 139795 0 0 0 102 51 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.86
Current children cumulated vsize (KiB) 916880

[startup+1662.93 s]
/proc/loadavg: 2.00 2.00 1.89 3/87 15342
/proc/meminfo: memFree=371880/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=1649.37
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 156980 0 1 0 164804 133 0 0 25 0 8 0 156729920 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 156663 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=1.53
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 139795 0 0 0 102 51 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.37
Current children cumulated vsize (KiB) 916880

[startup+1722.95 s]
/proc/loadavg: 2.04 2.01 1.90 3/87 15342
/proc/meminfo: memFree=371880/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=1708.91
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 156980 0 1 0 170758 133 0 0 25 0 8 0 156729920 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 156663 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=1.53
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 139795 0 0 0 102 51 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.91
Current children cumulated vsize (KiB) 916880

[startup+1782.97 s]
/proc/loadavg: 2.01 2.01 1.91 3/87 15342
/proc/meminfo: memFree=371880/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=1768.45
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 156980 0 1 0 176712 133 0 0 25 0 8 0 156729920 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077074 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 156663 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=1.53
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 139795 0 0 0 102 51 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.45
Current children cumulated vsize (KiB) 916880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.82 s]
/proc/loadavg: 2.01 2.00 1.91 3/87 15342
/proc/meminfo: memFree=371880/2055920 swapFree=4192812/4192956
[pid=15091] ppid=15089 vsize=916880 CPUtime=1800.03
/proc/15091/stat : 15091 (java) R 15089 15091 15022 0 -1 0 156980 0 1 0 179870 133 0 0 25 0 8 0 156729920 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078651 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15091/statm: 229220 156663 2535 14 0 215690 0
[pid=15091/tid=15093] ppid=15089 vsize=916880 CPUtime=1.53
/proc/15091/task/15093/stat : 15093 (java) S 15089 15091 15022 0 -1 64 139795 0 0 0 102 51 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15094] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15094/stat : 15094 (java) S 15089 15091 15022 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15095] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15095/stat : 15095 (java) S 15089 15091 15022 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729924 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15091/tid=15096] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15096/stat : 15096 (java) S 15089 15091 15022 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15097] ppid=15089 vsize=916880 CPUtime=0.32
/proc/15091/task/15097/stat : 15097 (java) S 15089 15091 15022 0 -1 64 512 0 0 0 30 2 0 0 16 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15098] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15098/stat : 15098 (java) S 15089 15091 15022 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156729927 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15091/tid=15099] ppid=15089 vsize=916880 CPUtime=0
/proc/15091/task/15099/stat : 15099 (java) S 15089 15091 15022 0 -1 64 3 0 0 0 0 0 0 0 15 0 8 0 156729928 938885120 156663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 916880

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

Child status: 143
Real time (s): 1814.96
CPU time (s): 1800.17
CPU user time (s): 1798.75
CPU system time (s): 1.42478
CPU usage (%): 99.1856
Max. virtual memory (cumulated for all children) (KiB): 916972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.42478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156997
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= 38035
involuntary context switches= 77819

runsolver used 1.76073 s user time and 4.77927 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan  6 11:35:47 UTC 2007


IDJOB= 237725
IDBENCH= 6959
FILE ID= node35/237725-1168083343

PBS_JOBID= 3476273

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3807993ed2a30880ef814b06dd715ec6

RANDOM SEED= 992756446

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.234
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.234
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:       1620896 kB
Buffers:         29152 kB
Cached:         310304 kB
SwapCached:          0 kB
Active:          81996 kB
Inactive:       277536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620896 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3412 kB
Writeback:           0 kB
Mapped:          30276 kB
Slab:            61320 kB
Committed_AS:  3079228 kB
PageTables:       1620 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= 66552 MiB



End job on node35 on Sat Jan  6 12:06:19 UTC 2007