Trace number 237837

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.21 1804.22

General information on the benchmark

Namehaystacks/
haystacks_32.xml
MD5SUM3ff483edd60f3e73118ce7d27f98532d
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 benchmark141.815
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1024
Number of constraints15903
Maximum constraint arity2
Maximum domain size32
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15903
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/237837-1168083368/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.53	     nbVariables=1024  nbDomainTypes=1  minDomainSize=32  maxDomainSize=32
0.53	       =>  wckTime=0.206  cpuTime=0.15  mem=8M838
0.53	   
0.53	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
2.51	     nbConstraints=15903  nbConvertedConstraints=15903  nbConvertConstraintsChecks=4096  nbExtensionStructures=4
2.51	     nbSharedExtensionStructures=15899  nbConflictsStructures=4  nbSharedConflictsStructures=15899
2.51	     nbSharedBinaryRepresentations=191  maxDegree=32  maxArity=2
2.51	       =>  wckTime=2.184  cpuTime=1.91  mem=51M997
2.66	   
2.66	   solver IterativeSystematicSolver being built... 
2.90	       =>  wckTime=2.579  cpuTime=2.1  mem=27M592
2.99	   
2.99	   preprocessing
2.99	     nbConstraintChecks=0  nbPropagations=1024  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.99	     detectedInconsistency=no
2.99	       =>  wckTime=0.076  cpuTime=0.07  mem=27M592
3.17	   
3.17	   search
3.17	     run=0  nbConstraintChecks=63254  nbPropagations=3590  nbRevisions=2594  nbUselessRevisions=69  nbAssignments=108
3.17	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=129  nbRestartNogoods=0  mapSize=10  nbInferences=0
3.17	     nbTooLargeKeys=0
3.17	       =>  wckTime=0.264  cpuTime=0.22  mem=28M580
3.25	   
3.25	   search
3.25	     run=1  nbConstraintChecks=126737  nbPropagations=9763  nbRevisions=7808  nbUselessRevisions=211  nbAssignments=221
3.25	     nbFailedAssignments=22  nbBacktracks=25  nbVisitedNodes=266  nbRestartNogoods=4  mapSize=23  nbInferences=0
3.25	     nbTooLargeKeys=0
3.25	       =>  wckTime=0.345  cpuTime=0.3  mem=28M580
3.34	   
3.34	   search
3.34	     run=2  nbConstraintChecks=190521  nbPropagations=18611  nbRevisions=15743  nbUselessRevisions=433
3.34	     nbAssignments=351  nbFailedAssignments=42  nbBacktracks=47  nbVisitedNodes=436  nbRestartNogoods=5  mapSize=45
3.34	     nbInferences=0  nbTooLargeKeys=0
3.34	       =>  wckTime=0.429  cpuTime=0.38  mem=29M567
3.43	   
3.43	   search
3.43	     run=3  nbConstraintChecks=254618  nbPropagations=30216  nbRevisions=26482  nbUselessRevisions=738
3.43	     nbAssignments=500  nbFailedAssignments=69  nbBacktracks=80  nbVisitedNodes=640  nbRestartNogoods=10  mapSize=78
3.43	     nbInferences=1  nbTooLargeKeys=0
3.43	       =>  wckTime=0.523  cpuTime=0.47  mem=29M567
3.53	   
3.53	   search
3.53	     run=4  nbConstraintChecks=319140  nbPropagations=44713  nbRevisions=40153  nbUselessRevisions=1125
3.53	     nbAssignments=679  nbFailedAssignments=106  nbBacktracks=131  nbVisitedNodes=898  nbRestartNogoods=14  mapSize=129
3.53	     nbInferences=6  nbTooLargeKeys=0
3.53	       =>  wckTime=0.625  cpuTime=0.57  mem=30M555
3.66	   
3.66	   search
3.66	     run=5  nbConstraintChecks=384364  nbPropagations=62331  nbRevisions=56962  nbUselessRevisions=1595
3.66	     nbAssignments=906  nbFailedAssignments=155  nbBacktracks=206  nbVisitedNodes=1240  nbRestartNogoods=18  mapSize=204
3.66	     nbInferences=23  nbTooLargeKeys=0
3.66	       =>  wckTime=0.749  cpuTime=0.69  mem=31M543
3.81	   
3.81	   search
3.81	     run=6  nbConstraintChecks=450433  nbPropagations=83390  nbRevisions=77221  nbUselessRevisions=2151
3.81	     nbAssignments=1204  nbFailedAssignments=230  nbBacktracks=320  nbVisitedNodes=1710  nbRestartNogoods=20
3.81	     mapSize=318  nbInferences=45  nbTooLargeKeys=0
3.81	       =>  wckTime=0.901  cpuTime=0.84  mem=32M531
4.02	   
4.02	   search
4.02	     run=7  nbConstraintChecks=517809  nbPropagations=108389  nbRevisions=101391  nbUselessRevisions=2796
4.02	     nbAssignments=1611  nbFailedAssignments=337  nbBacktracks=490  nbVisitedNodes=2373  nbRestartNogoods=26
4.02	     mapSize=488  nbInferences=87  nbTooLargeKeys=0
4.02	       =>  wckTime=1.109  cpuTime=1.03  mem=33M518
4.28	   
4.28	   search
4.28	     run=8  nbConstraintChecks=587292  nbPropagations=138111  nbRevisions=130176  nbUselessRevisions=3532
4.28	     nbAssignments=2188  nbFailedAssignments=488  nbBacktracks=746  nbVisitedNodes=3335  nbRestartNogoods=34
4.28	     mapSize=744  nbInferences=170  nbTooLargeKeys=0
4.28	       =>  wckTime=1.37  cpuTime=1.28  mem=35M494
4.64	   
4.64	   search
4.64	     run=9  nbConstraintChecks=660266  nbPropagations=173839  nbRevisions=164715  nbUselessRevisions=4362
4.64	     nbAssignments=3034  nbFailedAssignments=706  nbBacktracks=1130  nbVisitedNodes=4773  nbRestartNogoods=41
4.64	     mapSize=1128  nbInferences=326  nbTooLargeKeys=0
4.64	       =>  wckTime=1.733  cpuTime=1.63  mem=39M445
5.17	   
5.17	   search
5.17	     run=10  nbConstraintChecks=738447  nbPropagations=217574  nbRevisions=206723  nbUselessRevisions=5287
5.17	     nbAssignments=4307  nbFailedAssignments=1016  nbBacktracks=1707  nbVisitedNodes=6967  nbRestartNogoods=46
5.17	     mapSize=1705  nbInferences=627  nbTooLargeKeys=0
5.17	       =>  wckTime=2.259  cpuTime=2.15  mem=44M383
5.75	   
5.75	   search
5.75	     run=11  nbConstraintChecks=920458  nbPropagations=273343  nbRevisions=261638  nbUselessRevisions=7268
5.75	     nbAssignments=5896  nbFailedAssignments=1545  nbBacktracks=2571  nbVisitedNodes=9782  nbRestartNogoods=49
5.75	     mapSize=2492  nbInferences=795  nbTooLargeKeys=0
5.75	       =>  wckTime=2.841  cpuTime=2.72  mem=47M347
6.63	   
6.63	   search
6.63	     run=12  nbConstraintChecks=1030593  nbPropagations=344845  nbRevisions=331364  nbUselessRevisions=9732
6.63	     nbAssignments=8688  nbFailedAssignments=2244  nbBacktracks=3870  nbVisitedNodes=14740  nbRestartNogoods=53
6.63	     mapSize=3754  nbInferences=1563  nbTooLargeKeys=0
6.63	       =>  wckTime=3.724  cpuTime=3.6  mem=49M322
8.38	   
8.38	   search
8.38	     run=13  nbConstraintChecks=1244526  nbPropagations=443294  nbRevisions=425725  nbUselessRevisions=12993
8.38	     nbAssignments=13247  nbFailedAssignments=3133  nbBacktracks=5817  nbVisitedNodes=22683  nbRestartNogoods=60
8.38	     mapSize=5662  nbInferences=3170  nbTooLargeKeys=0
8.38	       =>  wckTime=5.468  cpuTime=5.28  mem=35M972
11.55	   
11.55	   search
11.55	     run=14  nbConstraintChecks=1500910  nbPropagations=585820  nbRevisions=557831  nbUselessRevisions=16996
11.55	     nbAssignments=20951  nbFailedAssignments=4232  nbBacktracks=8736  nbVisitedNodes=36156  nbRestartNogoods=67
11.55	     mapSize=8551  nbInferences=6741  nbTooLargeKeys=0
11.55	       =>  wckTime=8.638  cpuTime=8.42  mem=69M790
17.16	   
17.16	   search
17.16	     run=15  nbConstraintChecks=1869131  nbPropagations=803796  nbRevisions=752012  nbUselessRevisions=22012
17.16	     nbAssignments=33977  nbFailedAssignments=5546  nbBacktracks=13114  nbVisitedNodes=59027  nbRestartNogoods=77
17.16	     mapSize=12899  nbInferences=13958  nbTooLargeKeys=0
17.16	       =>  wckTime=14.25  cpuTime=13.89  mem=73M578
25.50	   
25.50	   search
25.50	     run=16  nbConstraintChecks=2363584  nbPropagations=1131282  nbRevisions=1035324  nbUselessRevisions=28453
25.50	     nbAssignments=53449  nbFailedAssignments=7416  nbBacktracks=19682  nbVisitedNodes=93157  nbRestartNogoods=95
25.50	     mapSize=19426  nbInferences=24876  nbTooLargeKeys=0
25.50	       =>  wckTime=22.592  cpuTime=22.09  mem=107M497
36.48	   
36.48	   search
36.48	     run=17  nbConstraintChecks=3024452  nbPropagations=1608740  nbRevisions=1443388  nbUselessRevisions=36629
36.48	     nbAssignments=80589  nbFailedAssignments=10942  nbBacktracks=29534  nbVisitedNodes=140964  nbRestartNogoods=116
36.48	     mapSize=29209  nbInferences=38494  nbTooLargeKeys=0
36.48	       =>  wckTime=33.567  cpuTime=32.87  mem=167M301
56.65	   
56.65	   search
56.65	     run=18  nbConstraintChecks=4143175  nbPropagations=2360907  nbRevisions=2072459  nbUselessRevisions=48871
56.65	     nbAssignments=128360  nbFailedAssignments=14558  nbBacktracks=44312  nbVisitedNodes=225199  nbRestartNogoods=137
56.65	     mapSize=43920  nbInferences=67727  nbTooLargeKeys=0
56.65	       =>  wckTime=53.739  cpuTime=52.66  mem=234M381
91.29	   
91.29	   search
91.29	     run=19  nbConstraintChecks=6134523  nbPropagations=3601282  nbRevisions=3091562  nbUselessRevisions=69213
91.29	     nbAssignments=208666  nbFailedAssignments=18794  nbBacktracks=66480  nbVisitedNodes=367736  nbRestartNogoods=162
91.29	     mapSize=66020  nbInferences=121487  nbTooLargeKeys=0
91.29	       =>  wckTime=88.384  cpuTime=86.71  mem=361M68
135.32	   
135.32	   search
135.32	     run=20  nbConstraintChecks=10002655  nbPropagations=5528739  nbRevisions=4691645  nbUselessRevisions=114656
135.32	     nbAssignments=318183  nbFailedAssignments=27923  nbBacktracks=99732  nbVisitedNodes=562387  nbRestartNogoods=186
135.32	     mapSize=99159  nbInferences=188448  nbTooLargeKeys=0
135.32	       =>  wckTime=132.412  cpuTime=129.99  mem=510M789
157.74	   
157.74	   INFO : Stopping hyperNogood (mapSize=115464, nbTooLargekeys=0, mem=600M980)
168.97	   
168.97	   search
168.97	     run=21  nbConstraintChecks=12056806  nbPropagations=8028750  nbRevisions=6821486  nbUselessRevisions=176810
168.97	     nbAssignments=429226  nbFailedAssignments=54808  nbBacktracks=149610  nbVisitedNodes=761304  nbRestartNogoods=210
168.97	       =>  wckTime=166.064  cpuTime=163.13  mem=600M980
194.17	   
194.17	   search
194.17	     run=22  nbConstraintChecks=13732000  nbPropagations=11102369  nbRevisions=9526544  nbUselessRevisions=240603
194.17	     nbAssignments=555934  nbFailedAssignments=106522  nbBacktracks=224429  nbVisitedNodes=991439  nbRestartNogoods=239
194.17	       =>  wckTime=191.261  cpuTime=188.09  mem=600M980
230.91	   
230.91	   search
230.91	     run=23  nbConstraintChecks=16262018  nbPropagations=15036424  nbRevisions=13095554  nbUselessRevisions=307789
230.91	     nbAssignments=746037  nbFailedAssignments=184190  nbBacktracks=336656  nbVisitedNodes=1336874  nbRestartNogoods=263
230.91	       =>  wckTime=228.002  cpuTime=224.5  mem=600M980
282.49	   
282.49	   search
282.49	     run=24  nbConstraintChecks=19854093  nbPropagations=20254761  nbRevisions=17951654  nbUselessRevisions=377735
282.49	     nbAssignments=1031023  nbFailedAssignments=300629  nbBacktracks=504997  nbVisitedNodes=1854732
282.49	     nbRestartNogoods=286
282.49	       =>  wckTime=279.582  cpuTime=275.93  mem=600M980
357.72	   
357.72	   search
357.72	     run=25  nbConstraintChecks=25052762  nbPropagations=27385024  nbRevisions=24724099  nbUselessRevisions=452099
357.72	     nbAssignments=1456726  nbFailedAssignments=473618  nbBacktracks=757509  nbVisitedNodes=2626412
357.72	     nbRestartNogoods=316
357.72	       =>  wckTime=354.814  cpuTime=351.08  mem=600M980
469.10	   
469.11	   search
469.11	     run=26  nbConstraintChecks=37390278  nbPropagations=37429805  nbRevisions=34571155  nbUselessRevisions=560908
469.11	     nbAssignments=2096817  nbFailedAssignments=734705  nbBacktracks=1136277  nbVisitedNodes=3787793
469.11	     nbRestartNogoods=344
469.11	       =>  wckTime=466.197  cpuTime=462.35  mem=600M980
652.86	   
652.86	   search
652.86	     run=27  nbConstraintChecks=51270394  nbPropagations=51785912  nbRevisions=51443787  nbUselessRevisions=3383916
652.86	     nbAssignments=3059853  nbFailedAssignments=1129484  nbBacktracks=1704428  nbVisitedNodes=5540386
652.86	     nbRestartNogoods=377
652.86	       =>  wckTime=649.953  cpuTime=645.91  mem=600M980
908.34	   
908.34	   search
908.34	     run=28  nbConstraintChecks=69394866  nbPropagations=72591768  nbRevisions=76086000  nbUselessRevisions=7520854
908.34	     nbAssignments=4500434  nbFailedAssignments=1717605  nbBacktracks=2556654  nbVisitedNodes=8157196
908.34	     nbRestartNogoods=390
908.34	       =>  wckTime=905.429  cpuTime=901.11  mem=600M980
1282.08	   
1282.08	   search
1282.08	     run=29  nbConstraintChecks=93999253  nbPropagations=103083292  nbRevisions=110422027  nbUselessRevisions=11665923
1282.08	     nbAssignments=6667807  nbFailedAssignments=2606407  nbBacktracks=3834994  nbVisitedNodes=12102170
1282.08	     nbRestartNogoods=433
1282.08	       =>  wckTime=1279.172  cpuTime=1274.46  mem=600M980

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node13/watcher-237837-1168083368 -o ROOT/results/node13/solver-237837-1168083368 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237837-1168083368/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.23 1.64 1.77 4/93 8464
/proc/meminfo: memFree=1096744/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=47416 CPUtime=0
/proc/8463/stat : 8463 (java) D 8461 8463 8040 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 156733317 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/8463/statm: 11854 960 760 14 0 1707 0

[startup+0.104312 s]
/proc/loadavg: 1.23 1.64 1.77 4/93 8464
/proc/meminfo: memFree=1096744/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=914852 CPUtime=0.08
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 2940 0 1 0 6 2 0 0 17 0 8 0 156733317 936808448 2686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155447839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228713 2686 1411 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852

[startup+0.516372 s]
/proc/loadavg: 1.23 1.64 1.77 4/93 8464
/proc/meminfo: memFree=1096744/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915328 CPUtime=0.49
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 6470 0 1 0 45 4 0 0 19 0 8 0 156733317 937295872 6209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228832 6209 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34299 s]
/proc/loadavg: 1.23 1.64 1.77 3/100 8471
/proc/meminfo: memFree=1034800/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915628 CPUtime=1.3
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 17904 0 1 0 118 12 0 0 24 0 8 0 156733317 937603072 17642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228907 17642 2180 14 0 215377 0
[pid=8463/tid=8465] ppid=8461 vsize=915628 CPUtime=0.05
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 1297 0 0 0 5 0 0 0 17 0 8 0 156733321 937603072 17642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915628 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937603072 17642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915628 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937603072 17642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915628 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937603072 17642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915628 CPUtime=0.19
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 417 0 0 0 18 1 0 0 16 0 8 0 156733325 937603072 17642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915628 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937603072 17642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915628 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937603072 17642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628

[startup+2.98021 s]
/proc/loadavg: 1.29 1.65 1.77 3/100 8471
/proc/meminfo: memFree=1034352/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=2.93
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 20692 0 1 0 218 75 0 0 25 0 8 0 156733317 937836544 20418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228964 20418 2530 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=0.19
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 3595 0 0 0 18 1 0 0 17 0 8 0 156733321 937836544 20418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 20418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 20418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 20418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.3
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 477 0 0 0 29 1 0 0 15 0 8 0 156733325 937836544 20418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 20418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 20418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915856

[startup+6.27164 s]
/proc/loadavg: 1.29 1.65 1.77 3/100 8471
/proc/meminfo: memFree=1024560/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=6.19
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 20738 0 1 0 544 75 0 0 25 0 8 0 156733317 937836544 20460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228964 20460 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=0.19
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 3596 0 0 0 18 1 0 0 17 0 8 0 156733321 937836544 20460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 20460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 20460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 20460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 509 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 20460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 20460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 20460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915856

[startup+12.7565 s]
/proc/loadavg: 1.40 1.66 1.78 3/100 8471
/proc/meminfo: memFree=1004336/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=12.61
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 31327 0 1 0 1182 79 0 0 25 0 8 0 156733317 937836544 31047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228964 31047 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=0.28
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 14183 0 0 0 24 4 0 0 16 0 8 0 156733321 937836544 31047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 31047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 31047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 31047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 509 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 31047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 31047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 31047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915856

[startup+25.6252 s]
/proc/loadavg: 1.49 1.67 1.78 3/100 8471
/proc/meminfo: memFree=947568/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=25.37
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 44249 0 1 0 2452 85 0 0 25 0 8 0 156733317 937836544 43966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073547277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228964 43966 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=0.4
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 27102 0 0 0 30 10 0 0 16 0 8 0 156733321 937836544 43966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 43966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 43966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 43966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 509 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 43966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 43966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 43966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915856

[startup+51.2456 s]
/proc/loadavg: 1.66 1.69 1.78 3/100 8471
/proc/meminfo: memFree=841456/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=50.74
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 66496 0 1 0 4981 93 0 0 25 0 8 0 156733317 937836544 66207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074075572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228964 66207 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=0.61
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 49343 0 0 0 43 18 0 0 16 0 8 0 156733321 937836544 66207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 66207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 66207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 66207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 509 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 66207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 66207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 66207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915856

[startup+102.483 s]
/proc/loadavg: 1.85 1.74 1.79 3/100 8471
/proc/meminfo: memFree=677104/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=101.52
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 107554 0 1 0 10044 108 0 0 25 0 8 0 156733317 937836544 107254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8463/statm: 228964 107254 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=1.01
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 90390 0 0 0 69 32 0 0 16 0 8 0 156733321 937836544 107254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 107254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 107254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 107254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 509 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 107254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 107254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 107254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915856

[startup+162.572 s]
/proc/loadavg: 2.05 1.81 1.81 3/100 8471
/proc/meminfo: memFree=489008/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=161.05
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 154477 0 1 0 15980 125 0 0 25 0 8 0 156733317 937836544 154164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074066689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1420.33
Current children cumulated vsize (KiB) 915856

[startup+1483.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/106 8593
/proc/meminfo: memFree=112720/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=1480.29
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 154479 0 1 0 147898 131 0 0 25 0 8 0 156733317 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074076211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8463/statm: 228964 154165 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=1.51
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 137300 0 0 0 102 49 0 0 16 0 8 0 156733321 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 510 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.29
Current children cumulated vsize (KiB) 915856

[startup+1544 s]
/proc/loadavg: 2.00 2.00 1.92 4/106 8685
/proc/meminfo: memFree=92640/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=1540.29
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 154479 0 1 0 153893 136 0 0 25 0 8 0 156733317 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074161396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8463/statm: 228964 154165 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=1.51
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 137300 0 0 0 102 49 0 0 16 0 8 0 156733321 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 510 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.29
Current children cumulated vsize (KiB) 915856

[startup+1604.08 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 8727
/proc/meminfo: memFree=73392/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=1600.29
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 154479 0 1 0 159891 138 0 0 25 0 8 0 156733317 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074066592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8463/statm: 228964 154165 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=1.51
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 137300 0 0 0 102 49 0 0 16 0 8 0 156733321 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 510 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.29
Current children cumulated vsize (KiB) 915856

[startup+1664.15 s]
/proc/loadavg: 2.04 2.01 1.93 3/100 8727
/proc/meminfo: memFree=52272/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=1660.28
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 154479 0 1 0 165890 138 0 0 25 0 8 0 156733317 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074078853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8463/statm: 228964 154165 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=1.51
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 137300 0 0 0 102 49 0 0 16 0 8 0 156733321 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 510 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.28
Current children cumulated vsize (KiB) 915856

[startup+1724.2 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 8727
/proc/meminfo: memFree=52272/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=1720.28
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 154479 0 1 0 171890 138 0 0 25 0 8 0 156733317 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074066638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8463/statm: 228964 154165 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=1.51
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 137300 0 0 0 102 49 0 0 16 0 8 0 156733321 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 510 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.28
Current children cumulated vsize (KiB) 915856

[startup+1784.26 s]
/proc/loadavg: 2.04 2.02 1.93 3/100 8727
/proc/meminfo: memFree=52208/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=1780.28
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 154479 0 1 0 177890 138 0 0 25 0 8 0 156733317 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8463/statm: 228964 154165 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=1.51
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 137300 0 0 0 102 49 0 0 16 0 8 0 156733321 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 510 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.28
Current children cumulated vsize (KiB) 915856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.11 s]
/proc/loadavg: 2.03 2.02 1.93 3/100 8727
/proc/meminfo: memFree=52208/2055920 swapFree=4192812/4192956
[pid=8463] ppid=8461 vsize=915856 CPUtime=1800.09
/proc/8463/stat : 8463 (java) R 8461 8463 8040 0 -1 0 154479 0 1 0 179871 138 0 0 25 0 8 0 156733317 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8463/statm: 228964 154165 2535 14 0 215434 0
[pid=8463/tid=8465] ppid=8461 vsize=915856 CPUtime=1.51
/proc/8463/task/8465/stat : 8465 (java) S 8461 8463 8040 0 -1 64 137300 0 0 0 102 49 0 0 16 0 8 0 156733321 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8466] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8466/stat : 8466 (java) S 8461 8463 8040 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8467] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8467/stat : 8467 (java) S 8461 8463 8040 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733322 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8468] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8468/stat : 8468 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8469] ppid=8461 vsize=915856 CPUtime=0.37
/proc/8463/task/8469/stat : 8469 (java) S 8461 8463 8040 0 -1 64 510 0 0 0 36 1 0 0 16 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8463/tid=8470] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8470/stat : 8470 (java) S 8461 8463 8040 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8463/tid=8471] ppid=8461 vsize=915856 CPUtime=0
/proc/8463/task/8471/stat : 8471 (java) S 8461 8463 8040 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733325 937836544 154165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915856

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

Child status: 143
Real time (s): 1804.22
CPU time (s): 1800.21
CPU user time (s): 1798.73
CPU system time (s): 1.47578
CPU usage (%): 99.7779
Max. virtual memory (cumulated for all children) (KiB): 915948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.47578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154495
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= 38175
involuntary context switches= 70985

runsolver used 2.25066 s user time and 5.74513 s system time

The end

Launcher Data (download as text)

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


IDJOB= 237837
IDBENCH= 6966
FILE ID= node13/237837-1168083368

PBS_JOBID= 3476219

Free space on /tmp= 66316 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3ff483edd60f3e73118ce7d27f98532d

RANDOM SEED= 47597439

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1097160 kB
Buffers:         71668 kB
Cached:         566852 kB
SwapCached:          0 kB
Active:         566768 kB
Inactive:       295936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1097160 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3620 kB
Writeback:           0 kB
Mapped:         253296 kB
Slab:            80164 kB
Committed_AS:  4512360 kB
PageTables:       2772 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= 66316 MiB



End job on node13 on Sat Jan  6 12:06:29 UTC 2007