Trace number 237661

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.16 1800.9

General information on the benchmark

Namehaystacks/
haystacks_53.xml
MD5SUMa0098767a588d03f7d6994873b18d5bf
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2809
Number of constraints73086
Maximum constraint arity2
Maximum domain size53
Number of constraints which are defined in extension0
Number of constraints which are defined in intension73086
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/237661-1168083343/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.61	     nbVariables=2809  nbDomainTypes=1  minDomainSize=53  maxDomainSize=53
0.61	       =>  wckTime=0.296  cpuTime=0.21  mem=15M673
0.61	   
0.61	   predicates being loaded...
0.62	   
0.62	   constraints being loaded...
4.94	   
4.94	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 58M58)
6.08	     nbConstraints=73086  nbConvertedConstraints=23702  nbConvertConstraintsChecks=11236  nbExtensionStructures=4
6.08	     nbSharedExtensionStructures=23698  nbConflictsStructures=4  nbSharedConflictsStructures=23698
6.08	     nbSharedBinaryRepresentations=317  nbEvaluationManagers=4  nbSharedEvaluationManagers=49380  maxDegree=53
6.08	     maxArity=2
6.08	       =>  wckTime=5.76  cpuTime=4.66  mem=79M885
6.49	   
6.49	   solver IterativeSystematicSolver being built... 
7.37	       =>  wckTime=7.058  cpuTime=5.28  mem=109M313
10.00	   
10.00	   preprocessing
10.00	     nbConstraintChecks=5241610  nbValidityChecks=100553  nbPropagations=2809  nbRevisions=98768
10.00	     nbUselessRevisions=98768  nbRemovedValues=0  detectedInconsistency=no
10.00	       =>  wckTime=2.603  cpuTime=2.58  mem=109M313
14.26	   
14.26	   search
14.26	     run=0  nbConstraintChecks=6449202  nbValidityChecks=11294096  nbPropagations=11108  nbRevisions=342756
14.26	     nbUselessRevisions=334594  nbAssignments=212  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=231
14.26	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
14.26	       =>  wckTime=6.875  cpuTime=6.84  mem=114M426
16.84	   
16.84	   search
16.84	     run=1  nbConstraintChecks=9528926  nbValidityChecks=23190096  nbPropagations=30730  nbRevisions=944749
16.84	     nbUselessRevisions=920052  nbAssignments=440  nbFailedAssignments=21  nbBacktracks=26  nbVisitedNodes=484
16.84	     nbRestartNogoods=3  mapSize=26  nbInferences=1  nbTooLargeKeys=0
16.84	       =>  wckTime=9.45  cpuTime=9.4  mem=118M612
18.98	   
18.98	   search
18.98	     run=2  nbConstraintChecks=11214106  nbValidityChecks=35540087  nbPropagations=59076  nbRevisions=1815796
18.98	     nbUselessRevisions=1765985  nbAssignments=683  nbFailedAssignments=38  nbBacktracks=48  nbVisitedNodes=762
18.98	     nbRestartNogoods=4  mapSize=48  nbInferences=2  nbTooLargeKeys=0
18.98	       =>  wckTime=11.594  cpuTime=11.55  mem=121M814
21.07	   
21.07	   search
21.07	     run=3  nbConstraintChecks=12557947  nbValidityChecks=47911330  nbPropagations=96409  nbRevisions=2954057
21.07	     nbUselessRevisions=2870285  nbAssignments=945  nbFailedAssignments=64  nbBacktracks=81  nbVisitedNodes=1077
21.07	     nbRestartNogoods=8  mapSize=81  nbInferences=3  nbTooLargeKeys=0
21.07	       =>  wckTime=13.687  cpuTime=13.64  mem=126M174
23.28	   
23.28	   search
23.28	     run=4  nbConstraintChecks=14114091  nbValidityChecks=60815831  nbPropagations=143104  nbRevisions=4372626
23.28	     nbUselessRevisions=4245676  nbAssignments=1247  nbFailedAssignments=102  nbBacktracks=131  nbVisitedNodes=1458
23.28	     nbRestartNogoods=13  mapSize=131  nbInferences=6  nbTooLargeKeys=0
23.28	       =>  wckTime=15.891  cpuTime=15.84  mem=131M194
25.57	   
25.57	   search
25.57	     run=5  nbConstraintChecks=15566070  nbValidityChecks=73902409  nbPropagations=199492  nbRevisions=6074087
25.57	     nbUselessRevisions=5894445  nbAssignments=1590  nbFailedAssignments=148  nbBacktracks=206  nbVisitedNodes=1913
25.57	     nbRestartNogoods=17  mapSize=205  nbInferences=26  nbTooLargeKeys=0
25.57	       =>  wckTime=18.184  cpuTime=18.11  mem=137M330
28.26	   
28.26	   search
28.26	     run=6  nbConstraintChecks=17209245  nbValidityChecks=87540003  nbPropagations=266211  nbRevisions=8071291
28.26	     nbUselessRevisions=7828802  nbAssignments=2014  nbFailedAssignments=224  nbBacktracks=319  nbVisitedNodes=2510
28.26	     nbRestartNogoods=19  mapSize=318  nbInferences=47  nbTooLargeKeys=0
28.26	       =>  wckTime=20.877  cpuTime=20.73  mem=108M360
31.16	   
31.16	   search
31.16	     run=7  nbConstraintChecks=18728859  nbValidityChecks=101502442  nbPropagations=344064  nbRevisions=10372268
31.16	     nbUselessRevisions=10056044  nbAssignments=2562  nbFailedAssignments=330  nbBacktracks=489  nbVisitedNodes=3324
31.16	     nbRestartNogoods=24  mapSize=488  nbInferences=101  nbTooLargeKeys=0
31.16	       =>  wckTime=23.774  cpuTime=23.63  mem=117M219
34.49	   
34.49	   search
34.49	     run=8  nbConstraintChecks=20335486  nbValidityChecks=115936129  nbPropagations=434021  nbRevisions=12988112
34.49	     nbUselessRevisions=12586325  nbAssignments=3275  nbFailedAssignments=488  nbBacktracks=745  nbVisitedNodes=4434
34.49	     nbRestartNogoods=29  mapSize=744  nbInferences=182  nbTooLargeKeys=0
34.49	       =>  wckTime=27.1  cpuTime=26.95  mem=128M672
38.39	   
38.39	   search
38.39	     run=9  nbConstraintChecks=21730830  nbValidityChecks=130590978  nbPropagations=537525  nbRevisions=15925561
38.39	     nbUselessRevisions=15425101  nbAssignments=4249  nbFailedAssignments=712  nbBacktracks=1131  nbVisitedNodes=5997
38.39	     nbRestartNogoods=35  mapSize=1130  nbInferences=323  nbTooLargeKeys=0
38.39	       =>  wckTime=31.002  cpuTime=30.84  mem=144M720
43.82	   
43.82	   search
43.82	     run=10  nbConstraintChecks=23830467  nbValidityChecks=145849829  nbPropagations=656977  nbRevisions=19204618
43.82	     nbUselessRevisions=18590300  nbAssignments=5673  nbFailedAssignments=1022  nbBacktracks=1708  nbVisitedNodes=8339
43.82	     nbRestartNogoods=40  mapSize=1707  nbInferences=621  nbTooLargeKeys=0
43.82	       =>  wckTime=36.434  cpuTime=36.2  mem=148M158
51.12	   
51.12	   search
51.12	     run=11  nbConstraintChecks=25607099  nbValidityChecks=161679433  nbPropagations=796728  nbRevisions=22848144
51.12	     nbUselessRevisions=22101156  nbAssignments=7874  nbFailedAssignments=1447  nbBacktracks=2574  nbVisitedNodes=12067
51.13	     nbRestartNogoods=44  mapSize=2573  nbInferences=1298  nbTooLargeKeys=0
51.13	       =>  wckTime=43.739  cpuTime=43.45  mem=163M983
62.10	   
62.10	   search
62.10	     run=12  nbConstraintChecks=27211929  nbValidityChecks=178121318  nbPropagations=965084  nbRevisions=26895967
62.10	     nbUselessRevisions=25990325  nbAssignments=11499  nbFailedAssignments=2055  nbBacktracks=3871  nbVisitedNodes=18385
62.10	     nbRestartNogoods=48  mapSize=3870  nbInferences=2775  nbTooLargeKeys=0
62.10	       =>  wckTime=54.715  cpuTime=54.37  mem=209M590
77.73	   
77.73	   search
77.73	     run=13  nbConstraintChecks=29112106  nbValidityChecks=195199374  nbPropagations=1170953  nbRevisions=31386900
77.73	     nbUselessRevisions=30289659  nbAssignments=16854  nbFailedAssignments=2843  nbBacktracks=5819  nbVisitedNodes=27680
77.73	     nbRestartNogoods=61  mapSize=5817  nbInferences=5139  nbTooLargeKeys=0
77.73	       =>  wckTime=70.349  cpuTime=69.9  mem=257M946
98.47	   
98.47	   search
98.47	     run=14  nbConstraintChecks=30751273  nbValidityChecks=212642510  nbPropagations=1425050  nbRevisions=36355576
98.47	     nbUselessRevisions=35024033  nbAssignments=24353  nbFailedAssignments=4153  nbBacktracks=8738  nbVisitedNodes=40813
98.47	     nbRestartNogoods=75  mapSize=8735  nbInferences=8153  nbTooLargeKeys=0
98.47	       =>  wckTime=91.082  cpuTime=90.47  mem=323M991
130.74	   
130.74	   search
130.74	     run=15  nbConstraintChecks=32499544  nbValidityChecks=230904395  nbPropagations=1751400  nbRevisions=41894598
130.74	     nbUselessRevisions=40267526  nbAssignments=36215  nbFailedAssignments=5857  nbBacktracks=13117
130.74	     nbVisitedNodes=61602  nbRestartNogoods=85  mapSize=13114  nbInferences=13672  nbTooLargeKeys=0
130.74	       =>  wckTime=123.35  cpuTime=122.51  mem=422M996
183.59	   
183.59	   search
183.59	     run=16  nbConstraintChecks=34954511  nbValidityChecks=250503892  nbPropagations=2191424  nbRevisions=48170496
183.59	     nbUselessRevisions=46155389  nbAssignments=55472  nbFailedAssignments=7745  nbBacktracks=19687
183.59	     nbVisitedNodes=95159  nbRestartNogoods=98  mapSize=19682  nbInferences=24196  nbTooLargeKeys=0
183.59	       =>  wckTime=176.206  cpuTime=175.04  mem=583M432
187.81	   
187.81	   INFO : Stopping hyperNogood (mapSize=20044, nbTooLargekeys=0, mem=600M430)
208.13	   
208.13	   search
208.13	     run=17  nbConstraintChecks=36912916  nbValidityChecks=269752069  nbPropagations=2719107  nbRevisions=55031965
208.13	     nbUselessRevisions=52541705  nbAssignments=72492  nbFailedAssignments=14466  nbBacktracks=29539
208.13	     nbVisitedNodes=125781  nbRestartNogoods=112
208.13	       =>  wckTime=200.743  cpuTime=199.57  mem=600M430
241.66	   
241.66	   search
241.66	     run=18  nbConstraintChecks=38844484  nbValidityChecks=289786158  nbPropagations=3371790  nbRevisions=62579937
241.66	     nbUselessRevisions=59489672  nbAssignments=97825  nbFailedAssignments=24736  nbBacktracks=44317
241.66	     nbVisitedNodes=171654  nbRestartNogoods=128
241.66	       =>  wckTime=234.274  cpuTime=233.09  mem=600M430
290.77	   
290.77	   search
290.77	     run=19  nbConstraintChecks=41226173  nbValidityChecks=310762331  nbPropagations=4204784  nbRevisions=70963360
290.77	     nbUselessRevisions=67093010  nbAssignments=135486  nbFailedAssignments=39932  nbBacktracks=66487
290.77	     nbVisitedNodes=239707  nbRestartNogoods=142
290.77	       =>  wckTime=283.383  cpuTime=282.18  mem=600M430
362.71	   
362.71	   search
362.71	     run=20  nbConstraintChecks=43696124  nbValidityChecks=332653716  nbPropagations=5302113  nbRevisions=80394777
362.71	     nbUselessRevisions=75480244  nbAssignments=191883  nbFailedAssignments=62775  nbBacktracks=99739
362.71	     nbVisitedNodes=341790  nbRestartNogoods=155
362.71	       =>  wckTime=355.324  cpuTime=354.1  mem=600M430
467.24	   
467.24	   search
467.24	     run=21  nbConstraintChecks=45697972  nbValidityChecks=354962821  nbPropagations=6789686  nbRevisions=91050294
467.24	     nbUselessRevisions=84701540  nbAssignments=276464  nbFailedAssignments=97175  nbBacktracks=149619
467.24	     nbVisitedNodes=495171  nbRestartNogoods=168
467.24	       =>  wckTime=459.851  cpuTime=458.6  mem=600M430
624.51	   
624.51	   search
624.51	     run=22  nbConstraintChecks=49559082  nbValidityChecks=380056410  nbPropagations=8857141  nbRevisions=103551468
624.51	     nbUselessRevisions=95188795  nbAssignments=403408  nbFailedAssignments=148977  nbBacktracks=224437
624.51	     nbVisitedNodes=725719  nbRestartNogoods=183
624.51	       =>  wckTime=617.12  cpuTime=615.81  mem=600M430
859.91	   
859.91	   search
859.91	     run=23  nbConstraintChecks=54548002  nbValidityChecks=407515224  nbPropagations=11788054  nbRevisions=118601595
859.91	     nbUselessRevisions=107361812  nbAssignments=593816  nbFailedAssignments=226827  nbBacktracks=336664
859.91	     nbVisitedNodes=1071827  nbRestartNogoods=199
859.91	       =>  wckTime=852.52  cpuTime=851.15  mem=600M430
1211.67	   
1211.67	   search
1211.67	     run=24  nbConstraintChecks=61254029  nbValidityChecks=438247274  nbPropagations=16007411  nbRevisions=137249767
1211.67	     nbUselessRevisions=121844706  nbAssignments=879353  nbFailedAssignments=343682  nbBacktracks=505005
1211.67	     nbVisitedNodes=1591074  nbRestartNogoods=215
1211.67	       =>  wckTime=1204.281  cpuTime=1202.81  mem=600M430
1725.69	   
1725.69	   search
1725.69	     run=25  nbConstraintChecks=69657656  nbValidityChecks=473590999  nbPropagations=22144544  nbRevisions=161072398
1725.69	     nbUselessRevisions=139581479  nbAssignments=1305578  nbFailedAssignments=517055  nbBacktracks=757517
1725.69	     nbVisitedNodes=2364045  nbRestartNogoods=227
1725.69	       =>  wckTime=1718.306  cpuTime=1716.51  mem=600M430

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/node1/watcher-237661-1168083343 -o ROOT/results/node1/solver-237661-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237661-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.36 1.35 1.62 4/93 18958
/proc/meminfo: memFree=1157224/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=906644 CPUtime=0.02
/proc/18957/stat : 18957 (java) S 18955 18957 18776 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156732170 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 226661 1818 1036 14 0 214244 0
[pid=18957/tid=18959] ppid=18955 vsize=906644 CPUtime=0
/proc/18957/task/18959/stat : 18959 (java) R 18955 18957 18776 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156732173 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104785 s]
/proc/loadavg: 0.36 1.35 1.62 4/93 18958
/proc/meminfo: memFree=1157224/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=914988 CPUtime=0.09
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 3001 0 1 0 8 1 0 0 17 0 8 0 156732170 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228747 2747 1428 14 0 215242 0
[pid=18957/tid=18959] ppid=18955 vsize=914988 CPUtime=0
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156732173 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512834 s]
/proc/loadavg: 0.36 1.35 1.62 4/93 18958
/proc/meminfo: memFree=1157224/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915328 CPUtime=0.5
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 6668 0 1 0 45 5 0 0 17 0 8 0 156732170 937295872 6407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228832 6407 2138 14 0 215302 0
[pid=18957/tid=18959] ppid=18955 vsize=915328 CPUtime=0
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156732173 937295872 6407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33593 s]
/proc/loadavg: 0.36 1.35 1.62 3/100 18965
/proc/meminfo: memFree=1087536/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915644 CPUtime=1.31
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 18700 0 1 0 121 10 0 0 22 0 8 0 156732170 937619456 18438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073619640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228911 18438 2160 14 0 215381 0
[pid=18957/tid=18959] ppid=18955 vsize=915644 CPUtime=0.05
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 2160 0 0 0 5 0 0 0 17 0 8 0 156732173 937619456 18438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937619456 18438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732174 937619456 18438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937619456 18438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915644 CPUtime=0.17
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 406 0 0 0 16 1 0 0 16 0 8 0 156732178 937619456 18438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937619456 18438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937619456 18438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644

[startup+2.98913 s]
/proc/loadavg: 0.36 1.35 1.62 3/100 18965
/proc/meminfo: memFree=1070896/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915644 CPUtime=2.96
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 24344 0 1 0 282 14 0 0 25 0 8 0 156732170 937619456 24078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228911 24078 2160 14 0 215381 0
[pid=18957/tid=18959] ppid=18955 vsize=915644 CPUtime=0.35
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 7799 0 0 0 32 3 0 0 16 0 8 0 156732173 937619456 24078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937619456 24078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732174 937619456 24078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937619456 24078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915644 CPUtime=0.17
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 407 0 0 0 16 1 0 0 16 0 8 0 156732178 937619456 24078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937619456 24078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915644 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937619456 24078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915644

[startup+6.28151 s]
/proc/loadavg: 0.49 1.36 1.62 4/100 18965
/proc/meminfo: memFree=1032560/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=916148 CPUtime=6.23
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 32595 0 1 0 508 115 0 0 25 0 8 0 156732170 938135552 32261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 229037 32261 2189 14 0 215507 0
[pid=18957/tid=18959] ppid=18955 vsize=916148 CPUtime=1.07
/proc/18957/task/18959/stat : 18959 (java) R 18955 18957 18776 0 -1 64 15934 0 0 0 100 7 0 0 17 0 8 0 156732173 938135552 32261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=916148 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 938135552 32261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=916148 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156732174 938135552 32261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=916148 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 938135552 32261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=916148 CPUtime=0.23
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 440 0 0 0 22 1 0 0 16 0 8 0 156732178 938135552 32261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=916148 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 938135552 32261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=916148 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 938135552 32261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 916148

[startup+12.7521 s]
/proc/loadavg: 0.61 1.37 1.62 3/100 18965
/proc/meminfo: memFree=973744/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=12.7
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 41521 0 1 0 1150 120 0 0 25 0 8 0 156732170 937852928 41105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074171089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 41105 2535 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=1.45
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 24326 0 0 0 135 10 0 0 17 0 8 0 156732173 937852928 41105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 41105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 41105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 41105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.36
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 544 0 0 0 34 2 0 0 15 0 8 0 156732178 937852928 41105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 41105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 41105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915872

[startup+25.6016 s]
/proc/loadavg: 0.92 1.40 1.63 3/100 18965
/proc/meminfo: memFree=949744/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=25.55
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 41552 0 1 0 2434 121 0 0 25 0 8 0 156732170 937852928 41129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 41129 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=1.45
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 24326 0 0 0 135 10 0 0 17 0 8 0 156732173 937852928 41129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 41129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 41129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 41129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.39
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 566 0 0 0 37 2 0 0 15 0 8 0 156732178 937852928 41129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 41129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 41129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915872

[startup+51.2036 s]
/proc/loadavg: 1.29 1.45 1.64 3/100 18965
/proc/meminfo: memFree=838640/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=51.14
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 57702 0 1 0 4987 127 0 0 25 0 8 0 156732170 937852928 57268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074162011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 57268 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=1.64
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 40458 0 0 0 147 17 0 0 16 0 8 0 156732173 937852928 57268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 57268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 57268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 57268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.41
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 574 0 0 0 39 2 0 0 15 0 8 0 156732178 937852928 57268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 57268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 57268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915872

[startup+102.506 s]
/proc/loadavg: 1.69 1.53 1.65 3/100 18965
/proc/meminfo: memFree=630640/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=102.43
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 91079 0 1 0 10100 143 0 0 25 0 8 0 156732170 937852928 90639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 90639 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=1.94
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 73828 0 0 0 163 31 0 0 16 0 8 0 156732173 937852928 90639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 90639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 90639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 90639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.41
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 575 0 0 0 39 2 0 0 16 0 8 0 156732178 937852928 90639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 90639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 90639 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915872

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

Current children cumulated CPU time (s) 1422.65
Current children cumulated vsize (KiB) 915872

[startup+1483.14 s]
/proc/loadavg: 2.01 2.01 1.91 3/100 18965
/proc/meminfo: memFree=16048/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=1482.65
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 155332 0 1 0 148085 180 0 0 25 0 8 0 156732170 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 154877 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=2.48
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 138066 0 0 0 192 56 0 0 16 0 8 0 156732173 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.42
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 575 0 0 0 40 2 0 0 16 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.65
Current children cumulated vsize (KiB) 915872

[startup+1543.18 s]
/proc/loadavg: 2.00 2.00 1.91 3/106 19107
/proc/meminfo: memFree=16176/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=1542.56
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 155332 0 1 0 154076 180 0 0 25 0 8 0 156732170 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 154877 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=2.48
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 138066 0 0 0 192 56 0 0 16 0 8 0 156732173 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.42
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 575 0 0 0 40 2 0 0 16 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.56
Current children cumulated vsize (KiB) 915872

[startup+1603.22 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19163
/proc/meminfo: memFree=17136/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=1602.52
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 155332 0 1 0 160072 180 0 0 25 0 8 0 156732170 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 154877 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=2.48
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 138066 0 0 0 192 56 0 0 16 0 8 0 156732173 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.42
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 575 0 0 0 40 2 0 0 16 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.52
Current children cumulated vsize (KiB) 915872

[startup+1663.24 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19163
/proc/meminfo: memFree=17136/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=1662.53
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 155332 0 1 0 166072 181 0 0 25 0 8 0 156732170 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 154877 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=2.48
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 138066 0 0 0 192 56 0 0 16 0 8 0 156732173 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.42
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 575 0 0 0 40 2 0 0 16 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.53
Current children cumulated vsize (KiB) 915872

[startup+1723.27 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19163
/proc/meminfo: memFree=17136/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=1722.53
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 155332 0 1 0 172072 181 0 0 25 0 8 0 156732170 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 154877 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=2.48
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 138066 0 0 0 192 56 0 0 16 0 8 0 156732173 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.42
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 575 0 0 0 40 2 0 0 16 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.53
Current children cumulated vsize (KiB) 915872

[startup+1783.28 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19163
/proc/meminfo: memFree=17136/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=1782.53
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 155332 0 1 0 178071 182 0 0 25 0 8 0 156732170 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074286974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 154877 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=2.48
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 138066 0 0 0 192 56 0 0 16 0 8 0 156732173 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.42
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 575 0 0 0 40 2 0 0 16 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.76 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 19163
/proc/meminfo: memFree=17136/2055920 swapFree=4165584/4192956
[pid=18957] ppid=18955 vsize=915872 CPUtime=1800.01
/proc/18957/stat : 18957 (java) R 18955 18957 18776 0 -1 0 155332 0 1 0 179819 182 0 0 25 0 8 0 156732170 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18957/statm: 228968 154877 2538 14 0 215438 0
[pid=18957/tid=18959] ppid=18955 vsize=915872 CPUtime=2.48
/proc/18957/task/18959/stat : 18959 (java) S 18955 18957 18776 0 -1 64 138066 0 0 0 192 56 0 0 16 0 8 0 156732173 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18960] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18960/stat : 18960 (java) S 18955 18957 18776 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18961] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18961/stat : 18961 (java) S 18955 18957 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156732174 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18962] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18962/stat : 18962 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18963] ppid=18955 vsize=915872 CPUtime=0.42
/proc/18957/task/18963/stat : 18963 (java) S 18955 18957 18776 0 -1 64 575 0 0 0 40 2 0 0 16 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18964] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18964/stat : 18964 (java) S 18955 18957 18776 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18957/tid=18965] ppid=18955 vsize=915872 CPUtime=0
/proc/18957/task/18965/stat : 18965 (java) S 18955 18957 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156732178 937852928 154877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1800.9
CPU time (s): 1800.16
CPU user time (s): 1798.23
CPU system time (s): 1.92171
CPU usage (%): 99.9586
Max. virtual memory (cumulated for all children) (KiB): 916148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.23
system time used= 1.92171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155348
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= 38249
involuntary context switches= 63293

runsolver used 1.82472 s user time and 4.98724 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan  6 11:35:48 UTC 2007


IDJOB= 237661
IDBENCH= 6955
FILE ID= node1/237661-1168083343

PBS_JOBID= 3476267

Free space on /tmp= 66293 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a0098767a588d03f7d6994873b18d5bf

RANDOM SEED= 242811364

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:       1184736 kB
Buffers:         70288 kB
Cached:         664024 kB
SwapCached:       3692 kB
Active:         384316 kB
Inactive:       389608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1184736 kB
SwapTotal:     4192956 kB
SwapFree:      4165584 kB
Dirty:           12456 kB
Writeback:           0 kB
Mapped:          49428 kB
Slab:            82352 kB
Committed_AS:  4184248 kB
PageTables:       2172 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= 66293 MiB



End job on node1 on Sat Jan  6 12:06:06 UTC 2007