Trace number 203444

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.09 1809.38

General information on the benchmark

Namefrb/frb53-24/
frb53-24-5-mgd_ext.xml
MD5SUM2f7f9a6c7c062604348f10a4f021703f
Bench Category2-ARY-EXT (binary constraints in extension)
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 variables53
Number of constraints476
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension476
Number of constraints which are defined in intension0
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/203444-1168073084/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=53  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.41	       =>  wckTime=0.103  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
0.58	   
0.58	   constraints being loaded...
0.72	     nbConstraints=476  nbRelationTypes=476  nbExtensionStructures=476  nbSharedExtensionStructures=0
0.72	     nbConflictsStructures=476  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1299  maxDegree=26
0.72	     maxArity=2
0.72	       =>  wckTime=0.414  cpuTime=0.31  mem=18M818
0.77	   
0.77	   solver IterativeSystematicSolver being built... 
0.93	       =>  wckTime=0.62  cpuTime=0.44  mem=15M472
0.94	   
0.94	   preprocessing
0.94	     nbConstraintChecks=0  nbPropagations=53  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.94	     detectedInconsistency=no
0.94	       =>  wckTime=0.0090  cpuTime=0.01  mem=15M472
0.99	   
0.99	   search
0.99	     run=0  nbConstraintChecks=45268  nbPropagations=549  nbRevisions=5531  nbUselessRevisions=4652  nbAssignments=32
0.99	     nbFailedAssignments=5  nbBacktracks=14  nbVisitedNodes=42  nbRestartNogoods=0  mapSize=6  nbInferences=0
0.99	     nbTooLargeKeys=0
0.99	       =>  wckTime=0.058  cpuTime=0.04  mem=15M472
1.02	   
1.02	   search
1.02	     run=1  nbConstraintChecks=110030  nbPropagations=1857  nbRevisions=20989  nbUselessRevisions=17447
1.02	     nbAssignments=72  nbFailedAssignments=16  nbBacktracks=31  nbVisitedNodes=101  nbRestartNogoods=2  mapSize=20
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.086  cpuTime=0.06  mem=15M472
1.04	   
1.04	   search
1.04	     run=2  nbConstraintChecks=176898  nbPropagations=3949  nbRevisions=46327  nbUselessRevisions=38405
1.04	     nbAssignments=116  nbFailedAssignments=27  nbBacktracks=53  nbVisitedNodes=165  nbRestartNogoods=4  mapSize=36
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.107  cpuTime=0.08  mem=15M472
1.06	   
1.06	   search
1.06	     run=3  nbConstraintChecks=293498  nbPropagations=7322  nbRevisions=89813  nbUselessRevisions=74026
1.07	     nbAssignments=183  nbFailedAssignments=50  nbBacktracks=90  nbVisitedNodes=274  nbRestartNogoods=6  mapSize=67
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.131  cpuTime=0.1  mem=15M472
1.11	   
1.11	   search
1.11	     run=4  nbConstraintChecks=526660  nbPropagations=13111  nbRevisions=170049  nbUselessRevisions=139195
1.11	     nbAssignments=298  nbFailedAssignments=103  nbBacktracks=142  nbVisitedNodes=478  nbRestartNogoods=7  mapSize=114
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.173  cpuTime=0.14  mem=15M472
1.17	   
1.17	   search
1.17	     run=5  nbConstraintChecks=778958  nbPropagations=21603  nbRevisions=289799  nbUselessRevisions=236361
1.17	     nbAssignments=433  nbFailedAssignments=152  nbBacktracks=217  nbVisitedNodes=699  nbRestartNogoods=12  mapSize=171
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.231  cpuTime=0.19  mem=15M472
1.22	   
1.22	   search
1.22	     run=6  nbConstraintChecks=1097414  nbPropagations=33673  nbRevisions=461342  nbUselessRevisions=375546
1.22	     nbAssignments=620  nbFailedAssignments=215  nbBacktracks=330  nbVisitedNodes=1002  nbRestartNogoods=14  mapSize=250
1.22	     nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.29  cpuTime=0.24  mem=15M472
1.33	   
1.33	   search
1.33	     run=7  nbConstraintChecks=1680605  nbPropagations=52048  nbRevisions=729905  nbUselessRevisions=593755
1.33	     nbAssignments=937  nbFailedAssignments=351  nbBacktracks=500  nbVisitedNodes=1552  nbRestartNogoods=18  mapSize=398
1.33	     nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.393  cpuTime=0.34  mem=15M472
1.47	   
1.47	   search
1.47	     run=8  nbConstraintChecks=2503894  nbPropagations=79879  nbRevisions=1143592  nbUselessRevisions=930432
1.47	     nbAssignments=1370  nbFailedAssignments=519  nbBacktracks=756  nbVisitedNodes=2310  nbRestartNogoods=24
1.47	     mapSize=617  nbInferences=0  nbTooLargeKeys=0
1.47	       =>  wckTime=0.54  cpuTime=0.48  mem=15M472
1.69	   
1.69	   search
1.69	     run=9  nbConstraintChecks=3812699  nbPropagations=121438  nbRevisions=1767602  nbUselessRevisions=1437050
1.69	     nbAssignments=2020  nbFailedAssignments=772  nbBacktracks=1145  nbVisitedNodes=3431  nbRestartNogoods=27
1.69	     mapSize=938  nbInferences=0  nbTooLargeKeys=0
1.69	       =>  wckTime=0.756  cpuTime=0.69  mem=15M472
1.74	   
1.74	   INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M472)
1.94	   
1.94	   search
1.94	     run=10  nbConstraintChecks=5403747  nbPropagations=181344  nbRevisions=2665458  nbUselessRevisions=2166770
1.94	     nbAssignments=2942  nbFailedAssignments=1108  nbBacktracks=1722  nbVisitedNodes=4999  nbRestartNogoods=31
1.94	       =>  wckTime=1.008  cpuTime=0.93  mem=15M472
2.38	   
2.38	   search
2.38	     run=11  nbConstraintChecks=8489890  nbPropagations=272689  nbRevisions=4046529  nbUselessRevisions=3286223
2.38	     nbAssignments=4434  nbFailedAssignments=1726  nbBacktracks=2586  nbVisitedNodes=7569  nbRestartNogoods=38
2.38	       =>  wckTime=1.447  cpuTime=1.35  mem=15M472
2.92	   
2.92	   search
2.92	     run=12  nbConstraintChecks=12176179  nbPropagations=405418  nbRevisions=6058327  nbUselessRevisions=4919619
2.92	     nbAssignments=6504  nbFailedAssignments=2489  nbBacktracks=3883  nbVisitedNodes=11084  nbRestartNogoods=41
2.92	       =>  wckTime=1.985  cpuTime=1.89  mem=15M472
3.78	   
3.78	   search
3.78	     run=13  nbConstraintChecks=17948728  nbPropagations=603185  nbRevisions=9068091  nbUselessRevisions=7368414
3.78	     nbAssignments=9670  nbFailedAssignments=3697  nbBacktracks=5832  nbVisitedNodes=16531  nbRestartNogoods=48
3.78	       =>  wckTime=2.841  cpuTime=2.73  mem=15M472
5.01	   
5.01	   search
5.01	     run=14  nbConstraintChecks=26531745  nbPropagations=894604  nbRevisions=13473491  nbUselessRevisions=10943303
5.01	     nbAssignments=14299  nbFailedAssignments=5395  nbBacktracks=8754  nbVisitedNodes=24350  nbRestartNogoods=54
5.01	       =>  wckTime=4.077  cpuTime=3.96  mem=15M472
6.88	   
6.88	   search
6.88	     run=15  nbConstraintChecks=39159062  nbPropagations=1331151  nbRevisions=20107787  nbUselessRevisions=16340853
6.88	     nbAssignments=21513  nbFailedAssignments=8221  nbBacktracks=13132  nbVisitedNodes=36789  nbRestartNogoods=60
6.88	       =>  wckTime=5.945  cpuTime=5.81  mem=15M472
9.58	   
9.58	   search
9.58	     run=16  nbConstraintChecks=57484854  nbPropagations=1979699  nbRevisions=29927246  nbUselessRevisions=24328118
9.58	     nbAssignments=31904  nbFailedAssignments=12034  nbBacktracks=19700  nbVisitedNodes=54450  nbRestartNogoods=69
9.58	       =>  wckTime=8.642  cpuTime=8.48  mem=15M472
13.69	   
13.69	   search
13.69	     run=17  nbConstraintChecks=85673277  nbPropagations=2943973  nbRevisions=44559022  nbUselessRevisions=36223874
13.69	     nbAssignments=47709  nbFailedAssignments=17978  nbBacktracks=29553  nbVisitedNodes=81300  nbRestartNogoods=75
13.69	       =>  wckTime=12.755  cpuTime=12.55  mem=15M472
19.98	   
19.98	   search
19.98	     run=18  nbConstraintChecks=129104631  nbPropagations=4390029  nbRevisions=66488807  nbUselessRevisions=54051500
19.98	     nbAssignments=71528  nbFailedAssignments=27008  nbBacktracks=44331  nbVisitedNodes=121893  nbRestartNogoods=91
19.98	       =>  wckTime=19.05  cpuTime=18.79  mem=15M472
28.94	   
28.94	   search
28.94	     run=19  nbConstraintChecks=189674836  nbPropagations=6531991  nbRevisions=98945717  nbUselessRevisions=80460748
28.94	     nbAssignments=106428  nbFailedAssignments=39730  nbBacktracks=66499  nbVisitedNodes=180709  nbRestartNogoods=106
28.94	       =>  wckTime=28.011  cpuTime=27.68  mem=15M472
42.13	   
42.13	   search
42.13	     run=20  nbConstraintChecks=277844544  nbPropagations=9707559  nbRevisions=146884059  nbUselessRevisions=119492364
42.13	     nbAssignments=158765  nbFailedAssignments=58806  nbBacktracks=99751  nbVisitedNodes=269019  nbRestartNogoods=116
42.13	       =>  wckTime=41.192  cpuTime=40.73  mem=15M472
63.64	   
63.64	   search
63.64	     run=21  nbConstraintChecks=425620716  nbPropagations=14545064  nbRevisions=220597192  nbUselessRevisions=179636588
63.64	     nbAssignments=240284  nbFailedAssignments=90438  nbBacktracks=149630  nbVisitedNodes=409045  nbRestartNogoods=122
63.64	       =>  wckTime=62.706  cpuTime=62.05  mem=15M472
94.02	   
94.02	   search
94.02	     run=22  nbConstraintChecks=633480975  nbPropagations=21748451  nbRevisions=329773920  nbUselessRevisions=268572135
94.02	     nbAssignments=357483  nbFailedAssignments=132804  nbBacktracks=224449  nbVisitedNodes=606605  nbRestartNogoods=132
94.02	       =>  wckTime=93.084  cpuTime=92.15  mem=15M472
142.86	   
142.86	   search
142.86	     run=23  nbConstraintChecks=976144650  nbPropagations=32720540  nbRevisions=497453038  nbUselessRevisions=405316809
142.86	     nbAssignments=543445  nbFailedAssignments=206529  nbBacktracks=336676  nbVisitedNodes=928093  nbRestartNogoods=147
142.86	       =>  wckTime=141.931  cpuTime=140.74  mem=15M472
210.56	   
210.56	   search
210.56	     run=24  nbConstraintChecks=1437717246  nbPropagations=49026568  nbRevisions=746090034  nbUselessRevisions=608142786
210.56	     nbAssignments=809452  nbFailedAssignments=304188  nbBacktracks=505017  nbVisitedNodes=1377931  nbRestartNogoods=157
210.56	       =>  wckTime=209.623  cpuTime=208.1  mem=15M472
310.60	   
310.60	   search
310.60	     run=25  nbConstraintChecks=2134026156  nbPropagations=73155772  nbRevisions=1112428003
310.60	     nbUselessRevisions=906682118  nbAssignments=1206628  nbFailedAssignments=448844  nbBacktracks=757528
310.60	     nbVisitedNodes=2048873  nbRestartNogoods=168
310.60	       =>  wckTime=309.667  cpuTime=307.66  mem=15M472
473.73	   
473.73	   search
473.73	     run=26  nbConstraintChecks=3291951829  nbPropagations=109767651  nbRevisions=1669801188
473.73	     nbUselessRevisions=1360585224  nbAssignments=1816197  nbFailedAssignments=679633  nbBacktracks=1136295
473.73	     nbVisitedNodes=3091189  nbRestartNogoods=186
473.73	       =>  wckTime=472.795  cpuTime=470.01  mem=15M472
707.94	   
707.94	   search
707.94	     run=27  nbConstraintChecks=4926882982  nbPropagations=164505439  nbRevisions=2504143351
707.94	     nbUselessRevisions=2040164117  nbAssignments=2714814  nbFailedAssignments=1010089  nbBacktracks=1704446
707.94	     nbVisitedNodes=4612744  nbRestartNogoods=209
707.94	       =>  wckTime=707.003  cpuTime=703.1  mem=15M472
1073.21	   
1073.21	   search
1073.21	     run=28  nbConstraintChecks=7363486855  nbPropagations=246481161  nbRevisions=3751826079
1073.21	     nbUselessRevisions=3056151198  nbAssignments=4058524  nbFailedAssignments=1501560  nbBacktracks=2556675
1073.21	     nbVisitedNodes=6889531  nbRestartNogoods=222
1073.21	       =>  wckTime=1072.277  cpuTime=1066.44  mem=16M448
1650.93	   
1650.93	   search
1650.93	     run=29  nbConstraintChecks=11290798601  nbPropagations=371206825  nbRevisions=5657047308
1650.93	     nbUselessRevisions=4608512787  nbAssignments=6138117  nbFailedAssignments=2302804  nbBacktracks=3835015
1650.93	     nbVisitedNodes=10455273  nbRestartNogoods=239
1650.93	       =>  wckTime=1649.999  cpuTime=1641.4  mem=16M448

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/node21/watcher-203444-1168073084 -o ROOT/results/node21/solver-203444-1168073084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203444-1168073084/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.85 0.97 1.08 5/86 19646
/proc/meminfo: memFree=1719712/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=906644 CPUtime=0.02
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 2133 0 1 0 2 0 0 0 18 0 2 0 155703318 928403456 1882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 226661 1883 1067 14 0 214244 0
[pid=19645/tid=19648] ppid=19640 vsize=906644 CPUtime=0
/proc/19645/task/19648/stat : 19648 (java) R 19640 19645 19536 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155703321 928403456 1886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.105898 s]
/proc/loadavg: 0.85 0.97 1.08 5/86 19646
/proc/meminfo: memFree=1719712/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=914988 CPUtime=0.09
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 3046 0 1 0 8 1 0 0 17 0 8 0 155703318 936947712 2792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155477088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228747 2792 1445 14 0 215242 0
[pid=19645/tid=19648] ppid=19640 vsize=914988 CPUtime=0
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 155703321 936947712 2792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513974 s]
/proc/loadavg: 0.85 0.97 1.08 5/86 19646
/proc/meminfo: memFree=1719712/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915328 CPUtime=0.5
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 7078 0 1 0 46 4 0 0 20 0 8 0 155703318 937295872 6817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228832 6817 2137 14 0 215302 0
[pid=19645/tid=19648] ppid=19640 vsize=915328 CPUtime=0
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 155703321 937295872 6817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33713 s]
/proc/loadavg: 0.85 0.97 1.08 3/100 19660
/proc/meminfo: memFree=1662000/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=1.31
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9935 0 1 0 124 7 0 0 25 0 8 0 155703318 937431040 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9673 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 17 0 8 0 155703321 937431040 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.21
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 155703325 937431040 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9673 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) 915460

[startup+2.98044 s]
/proc/loadavg: 0.85 0.97 1.08 3/100 19660
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=2.94
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9952 0 1 0 287 7 0 0 25 0 8 0 155703318 937431040 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9688 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.24
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 396 0 0 0 23 1 0 0 15 0 8 0 155703325 937431040 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.27206 s]
/proc/loadavg: 0.94 0.98 1.08 3/100 19660
/proc/meminfo: memFree=1661616/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=6.2
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9953 0 1 0 613 7 0 0 25 0 8 0 155703318 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9689 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 155703325 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460

[startup+12.7563 s]
/proc/loadavg: 1.02 1.00 1.09 3/100 19660
/proc/meminfo: memFree=1661680/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=12.62
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9953 0 1 0 1255 7 0 0 25 0 8 0 155703318 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9689 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 397 0 0 0 24 1 0 0 15 0 8 0 155703325 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460

[startup+25.6187 s]
/proc/loadavg: 1.24 1.05 1.10 4/100 19660
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=25.36
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9954 0 1 0 2529 7 0 0 25 0 8 0 155703318 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9690 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460

[startup+51.3036 s]
/proc/loadavg: 1.50 1.12 1.12 3/100 19660
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=50.81
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9955 0 1 0 5073 8 0 0 25 0 8 0 155703318 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9690 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915460

[startup+102.555 s]
/proc/loadavg: 1.83 1.27 1.17 3/100 19660
/proc/meminfo: memFree=1661808/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=101.6
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9955 0 1 0 10152 8 0 0 25 0 8 0 155703318 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9690 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915460

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

Current children cumulated CPU time (s) 1416.59
Current children cumulated vsize (KiB) 915460

[startup+1484.09 s]
/proc/loadavg: 2.05 2.02 1.80 3/100 19858
/proc/meminfo: memFree=1660664/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=1476.35
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9957 0 1 0 147615 20 0 0 25 0 8 0 155703318 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826809 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9691 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.35
Current children cumulated vsize (KiB) 915460

[startup+1544.15 s]
/proc/loadavg: 2.07 2.03 1.82 3/100 19858
/proc/meminfo: memFree=1660600/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=1536.13
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9957 0 1 0 153592 21 0 0 25 0 8 0 155703318 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835806 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9691 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.13
Current children cumulated vsize (KiB) 915460

[startup+1604.22 s]
/proc/loadavg: 2.02 2.02 1.82 3/100 19858
/proc/meminfo: memFree=1660600/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=1595.91
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9957 0 1 0 159570 21 0 0 25 0 8 0 155703318 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9691 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.91
Current children cumulated vsize (KiB) 915460

[startup+1664.29 s]
/proc/loadavg: 2.01 2.02 1.83 3/100 19858
/proc/meminfo: memFree=1660536/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=1655.69
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9957 0 1 0 165547 22 0 0 25 0 8 0 155703318 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9691 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.69
Current children cumulated vsize (KiB) 915460

[startup+1724.35 s]
/proc/loadavg: 2.00 2.01 1.84 3/100 19858
/proc/meminfo: memFree=1660472/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=1715.47
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9957 0 1 0 171525 22 0 0 25 0 8 0 155703318 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9691 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.47
Current children cumulated vsize (KiB) 915460

[startup+1784.42 s]
/proc/loadavg: 2.03 2.02 1.85 3/100 19858
/proc/meminfo: memFree=1660472/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=1775.25
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9957 0 1 0 177502 23 0 0 25 0 8 0 155703318 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9691 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.25
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.31 s]
/proc/loadavg: 2.02 2.02 1.85 3/100 19858
/proc/meminfo: memFree=1660472/2055920 swapFree=4192812/4192956
[pid=19645] ppid=19640 vsize=915460 CPUtime=1800.01
/proc/19645/stat : 19645 (java) R 19640 19645 19536 0 -1 0 9957 0 1 0 179978 23 0 0 25 0 8 0 155703318 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19645/statm: 228865 9691 2513 14 0 215335 0
[pid=19645/tid=19648] ppid=19640 vsize=915460 CPUtime=0.03
/proc/19645/task/19648/stat : 19648 (java) S 19640 19645 19536 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 155703321 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19651] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19651/stat : 19651 (java) S 19640 19645 19536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19652] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19652/stat : 19652 (java) S 19640 19645 19536 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703322 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19657] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19657/stat : 19657 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19658] ppid=19640 vsize=915460 CPUtime=0.25
/proc/19645/task/19658/stat : 19658 (java) S 19640 19645 19536 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19659] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19659/stat : 19659 (java) S 19640 19645 19536 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19645/tid=19660] ppid=19640 vsize=915460 CPUtime=0
/proc/19645/task/19660/stat : 19660 (java) S 19640 19645 19536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703325 937431040 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1809.38
CPU time (s): 1800.09
CPU user time (s): 1799.84
CPU system time (s): 0.243962
CPU usage (%): 99.4865
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9973
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= 37734
involuntary context switches= 25656

runsolver used 2.29465 s user time and 5.72413 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat Jan  6 08:44:46 UTC 2007


IDJOB= 203444
IDBENCH= 3963
FILE ID= node21/203444-1168073084

PBS_JOBID= 3475987

Free space on /tmp= 66544 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb53-24/frb53-24-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203444-1168073084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-203444-1168073084 -o ROOT/results/node21/solver-203444-1168073084 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203444-1168073084/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2f7f9a6c7c062604348f10a4f021703f

RANDOM SEED= 709563979

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.261
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.261
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:       1721000 kB
Buffers:         29336 kB
Cached:         171876 kB
SwapCached:          0 kB
Active:         168924 kB
Inactive:        94992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1721000 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4532 kB
Writeback:           0 kB
Mapped:          81684 kB
Slab:            56224 kB
Committed_AS:  2878424 kB
PageTables:       1988 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= 66544 MiB



End job on node21 on Sat Jan  6 09:14:59 UTC 2007