Trace number 200025

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 ACSAT 1274.72 1275.56

DiagnosticValue
CHECKS977946863
NODES954783

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-39_ext.xml
MD5SUM44a9029656c5509a3d841d7fd303e5d1
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark159.171
SatisfiableYES
(Un)Satisfiability was proved
Number of variables24
Number of constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/200025-1168071867/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.40	       =>  wckTime=0.094  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
1.02	   
1.02	   constraints being loaded...
1.28	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.28	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.28	       =>  wckTime=0.976  cpuTime=0.86  mem=48M689
1.39	   
1.39	   solver IterativeSystematicSolver being built... 
1.55	       =>  wckTime=1.244  cpuTime=0.99  mem=34M623
1.55	   
1.55	   preprocessing
1.55	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.55	     detectedInconsistency=no
1.55	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M623
1.65	   
1.65	   search
1.65	     run=0  nbConstraintChecks=22425  nbValidityChecks=39487  nbPropagations=343  nbRevisions=3200
1.65	     nbUselessRevisions=2498  nbAssignments=38  nbFailedAssignments=19  nbBacktracks=14  nbVisitedNodes=64
1.65	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
1.65	       =>  wckTime=0.098  cpuTime=0.07  mem=34M623
1.73	   
1.73	   search
1.73	     run=1  nbConstraintChecks=72947  nbValidityChecks=134966  nbPropagations=1266  nbRevisions=13459
1.73	     nbUselessRevisions=10638  nbAssignments=92  nbFailedAssignments=49  nbBacktracks=30  nbVisitedNodes=160
1.73	     nbRestartNogoods=1  mapSize=26  nbInferences=0  nbTooLargeKeys=0
1.73	       =>  wckTime=0.185  cpuTime=0.15  mem=34M623
1.80	   
1.80	   search
1.80	     run=2  nbConstraintChecks=111668  nbValidityChecks=211432  nbPropagations=2695  nbRevisions=29285
1.80	     nbUselessRevisions=23160  nbAssignments=142  nbFailedAssignments=72  nbBacktracks=52  nbVisitedNodes=241
1.80	     nbRestartNogoods=6  mapSize=42  nbInferences=0  nbTooLargeKeys=0
1.80	       =>  wckTime=0.256  cpuTime=0.22  mem=34M623
2.01	   
2.01	   search
2.01	     run=3  nbConstraintChecks=250079  nbValidityChecks=490149  nbPropagations=5623  nbRevisions=63917
2.01	     nbUselessRevisions=50523  nbAssignments=267  nbFailedAssignments=157  nbBacktracks=85  nbVisitedNodes=478
2.01	     nbRestartNogoods=8  mapSize=75  nbInferences=0  nbTooLargeKeys=0
2.01	       =>  wckTime=0.458  cpuTime=0.42  mem=34M623
2.24	   
2.24	   search
2.24	     run=4  nbConstraintChecks=413604  nbValidityChecks=815838  nbPropagations=10359  nbRevisions=120337
2.24	     nbUselessRevisions=94857  nbAssignments=433  nbFailedAssignments=265  nbBacktracks=135  nbVisitedNodes=787
2.24	     nbRestartNogoods=17  mapSize=122  nbInferences=0  nbTooLargeKeys=0
2.24	       =>  wckTime=0.693  cpuTime=0.65  mem=34M623
2.57	   
2.57	   search
2.57	     run=5  nbConstraintChecks=638341  nbValidityChecks=1295648  nbPropagations=17806  nbRevisions=206605
2.57	     nbUselessRevisions=162523  nbAssignments=669  nbFailedAssignments=420  nbBacktracks=212  nbVisitedNodes=1236
2.57	     nbRestartNogoods=25  mapSize=195  nbInferences=0  nbTooLargeKeys=0
2.57	       =>  wckTime=1.022  cpuTime=0.97  mem=34M623
2.77	   
2.77	   search
2.77	     run=6  nbConstraintChecks=783526  nbValidityChecks=1598875  nbPropagations=27503  nbRevisions=316915
2.77	     nbUselessRevisions=248936  nbAssignments=894  nbFailedAssignments=526  nbBacktracks=325  nbVisitedNodes=1622
2.77	     nbRestartNogoods=26  mapSize=282  nbInferences=0  nbTooLargeKeys=0
2.77	       =>  wckTime=1.226  cpuTime=1.17  mem=34M623
3.16	   
3.16	   search
3.16	     run=7  nbConstraintChecks=1048532  nbValidityChecks=2146566  nbPropagations=41012  nbRevisions=469873
3.16	     nbUselessRevisions=368917  nbAssignments=1249  nbFailedAssignments=702  nbBacktracks=495  nbVisitedNodes=2238
3.16	     nbRestartNogoods=35  mapSize=410  nbInferences=0  nbTooLargeKeys=0
3.16	       =>  wckTime=1.614  cpuTime=1.55  mem=34M623
4.05	   
4.05	   search
4.05	     run=8  nbConstraintChecks=1657481  nbValidityChecks=3382157  nbPropagations=61831  nbRevisions=713492
4.05	     nbUselessRevisions=561552  nbAssignments=1916  nbFailedAssignments=1105  nbBacktracks=751  nbVisitedNodes=3482
4.05	     nbRestartNogoods=46  mapSize=636  nbInferences=0  nbTooLargeKeys=0
4.05	       =>  wckTime=2.499  cpuTime=2.42  mem=34M623
5.34	   
5.34	   search
5.34	     run=9  nbConstraintChecks=2585246  nbValidityChecks=5231339  nbPropagations=93140  nbRevisions=1079915
5.34	     nbUselessRevisions=849876  nbAssignments=2838  nbFailedAssignments=1638  nbBacktracks=1135  nbVisitedNodes=5173
5.34	     nbRestartNogoods=55  mapSize=976  nbInferences=0  nbTooLargeKeys=0
5.34	       =>  wckTime=3.788  cpuTime=3.7  mem=34M623
5.66	   
5.66	   INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=35M609)
7.93	   
7.93	   search
7.93	     run=10  nbConstraintChecks=4518783  nbValidityChecks=9020717  nbPropagations=143591  nbRevisions=1688059
7.93	     nbUselessRevisions=1329930  nbAssignments=4411  nbFailedAssignments=2626  nbBacktracks=1713  nbVisitedNodes=8158
7.93	     nbRestartNogoods=59
7.93	       =>  wckTime=6.381  cpuTime=6.27  mem=35M609
10.28	   
10.28	   search
10.28	     run=11  nbConstraintChecks=6376254  nbValidityChecks=12704336  nbPropagations=216931  nbRevisions=2547938
10.28	     nbUselessRevisions=2005749  nbAssignments=6484  nbFailedAssignments=3827  nbBacktracks=2579  nbVisitedNodes=11906
10.28	     nbRestartNogoods=81
10.28	       =>  wckTime=8.733  cpuTime=8.62  mem=35M609
14.71	   
14.71	   search
14.71	     run=12  nbConstraintChecks=9761826  nbValidityChecks=19642366  nbPropagations=333046  nbRevisions=3938187
14.71	     nbUselessRevisions=3107125  nbAssignments=10126  nbFailedAssignments=6164  nbBacktracks=3876  nbVisitedNodes=18836
14.71	     nbRestartNogoods=89
14.71	       =>  wckTime=13.16  cpuTime=13.04  mem=35M609
21.89	   
21.89	   search
21.89	     run=13  nbConstraintChecks=15388437  nbValidityChecks=30882978  nbPropagations=510295  nbRevisions=6052562
21.89	     nbUselessRevisions=4772429  nbAssignments=15567  nbFailedAssignments=9653  nbBacktracks=5822  nbVisitedNodes=29004
21.89	     nbRestartNogoods=98
21.89	       =>  wckTime=20.34  cpuTime=20.22  mem=35M609
29.27	   
29.27	   search
29.27	     run=14  nbConstraintChecks=21053467  nbValidityChecks=42459879  nbPropagations=762400  nbRevisions=8982499
29.27	     nbUselessRevisions=7066010  nbAssignments=22622  nbFailedAssignments=13782  nbBacktracks=8743  nbVisitedNodes=41731
29.27	     nbRestartNogoods=113
29.27	       =>  wckTime=27.725  cpuTime=27.6  mem=35M609
49.36	   
49.36	   search
49.36	     run=15  nbConstraintChecks=36684167  nbValidityChecks=72928595  nbPropagations=1160036  nbRevisions=13759331
49.36	     nbUselessRevisions=10822501  nbAssignments=34636  nbFailedAssignments=21412  nbBacktracks=13121
49.36	     nbVisitedNodes=64649  nbRestartNogoods=127
49.36	       =>  wckTime=47.809  cpuTime=47.67  mem=35M609
68.29	   
68.29	   search
68.29	     run=16  nbConstraintChecks=51316426  nbValidityChecks=102721252  nbPropagations=1747254  nbRevisions=20554940
68.29	     nbUselessRevisions=16117469  nbAssignments=50842  nbFailedAssignments=31044  nbBacktracks=19689
68.29	     nbVisitedNodes=94401  nbRestartNogoods=138
68.29	       =>  wckTime=66.74  cpuTime=66.59  mem=35M609
104.39	   
104.39	   search
104.39	     run=17  nbConstraintChecks=78728759  nbValidityChecks=157492160  nbPropagations=2630262  nbRevisions=30788898
104.39	     nbUselessRevisions=24106511  nbAssignments=74324  nbFailedAssignments=44669  nbBacktracks=29541
104.39	     nbVisitedNodes=138284  nbRestartNogoods=155
104.39	       =>  wckTime=102.841  cpuTime=102.67  mem=35M609
137.78	   
137.78	   search
137.78	     run=18  nbConstraintChecks=104727683  nbValidityChecks=209818139  nbPropagations=3860314  nbRevisions=44710255
137.78	     nbUselessRevisions=34950036  nbAssignments=105630  nbFailedAssignments=61190  nbBacktracks=44319
137.78	     nbVisitedNodes=193903  nbRestartNogoods=185
137.78	       =>  wckTime=136.234  cpuTime=136.04  mem=35M609
226.93	   
226.93	   search
226.93	     run=19  nbConstraintChecks=173072736  nbValidityChecks=344433059  nbPropagations=5761583  nbRevisions=66619228
226.93	     nbUselessRevisions=52078300  nbAssignments=159620  nbFailedAssignments=93006  nbBacktracks=66487
226.93	     nbVisitedNodes=295448  nbRestartNogoods=219
226.93	       =>  wckTime=225.384  cpuTime=225.14  mem=35M609
321.55	   
321.55	   search
321.55	     run=20  nbConstraintChecks=246111345  nbValidityChecks=493121163  nbPropagations=8564918  nbRevisions=98578596
321.55	     nbUselessRevisions=77036596  nbAssignments=239848  nbFailedAssignments=139976  nbBacktracks=99739
321.55	     nbVisitedNodes=441653  nbRestartNogoods=251
321.55	       =>  wckTime=320.0  cpuTime=319.69  mem=35M609
494.75	   
494.75	   search
494.75	     run=21  nbConstraintChecks=376241036  nbValidityChecks=759726319  nbPropagations=12930774  nbRevisions=148839877
494.75	     nbUselessRevisions=116377631  nbAssignments=361801  nbFailedAssignments=212045  nbBacktracks=149617
494.75	     nbVisitedNodes=670026  nbRestartNogoods=269
494.75	       =>  wckTime=493.206  cpuTime=492.79  mem=35M609
687.88	   
687.88	   search
687.88	     run=22  nbConstraintChecks=524737578  nbValidityChecks=1057572423  nbPropagations=19103976  nbRevisions=218941967
687.88	     nbUselessRevisions=171001098  nbAssignments=522490  nbFailedAssignments=297909  nbBacktracks=224437
687.88	     nbVisitedNodes=956765  nbRestartNogoods=276
687.88	       =>  wckTime=686.33  cpuTime=685.8  mem=35M609
1019.04	   
1019.04	   search
1019.04	     run=23  nbConstraintChecks=778338318  nbValidityChecks=1570925322  nbPropagations=28389848  nbRevisions=324030610
1019.04	     nbUselessRevisions=252933924  nbAssignments=779251  nbFailedAssignments=442436  nbBacktracks=336664
1019.04	     nbVisitedNodes=1425553  nbRestartNogoods=286
1019.04	       =>  wckTime=1017.494  cpuTime=1016.79  mem=35M609
1275.49	   
1275.49	   search
1275.49	     run=24  nbConstraintChecks=977946863  nbValidityChecks=1965110723  nbPropagations=39711333  nbRevisions=453834666
1275.49	     nbUselessRevisions=354378873  nbAssignments=954783  nbFailedAssignments=548074  nbBacktracks=406534
1275.49	     nbVisitedNodes=1752967  nbRestartNogoods=304
1275.49	       =>  wckTime=1273.94  cpuTime=1273.08  mem=35M609
1275.49	   
1275.49	   global
1275.49	     nbConstraintChecks=977946863  nbValidityChecks=1965110723  nbPropagations=39711357  nbRevisions=453834666
1275.49	     nbUselessRevisions=354378873  nbRestartNogoods=304  solvingWckTime=1273.941  solvingCpuTime=1273.08  expiredTime=no
1275.49	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=1274.12
1275.49	       =>  wckTime=1275.188  cpuTime=1274.07  mem=35M609
1275.49	   
1275.49	s SATISFIABLE
1275.49	v 22 11 16 14 0 20 20 7 4 13 19 3 17 3 12 6 11 3 21 3 5 11 3 1 
1275.49	d NODES 954783
1275.49	d CHECKS 977946863
1275.49	   
1275.49	   totalWckTime=1275.265  totalCpuTime=1274.12

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-200025-1168071867 -o ROOT/results/node41/solver-200025-1168071867 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200025-1168071867/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.92 1.08 1.13 4/65 6679
/proc/meminfo: memFree=1666080/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=308 CPUtime=0
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 57 0 0 0 0 0 0 0 20 0 1 0 155585983 315392 40 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 1962788 0 0 4096 0 0 0 0 17 1 0 0
/proc/6678/statm: 77 40 31 14 0 5 0

[startup+0.105476 s]
/proc/loadavg: 0.92 1.08 1.13 4/65 6679
/proc/meminfo: memFree=1666080/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=914988 CPUtime=0.08
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 3019 0 1 0 7 1 0 0 16 0 8 0 155585983 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155840576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6678/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513515 s]
/proc/loadavg: 0.92 1.08 1.13 4/65 6679
/proc/meminfo: memFree=1666080/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915328 CPUtime=0.49
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 8004 0 1 0 44 5 0 0 17 0 8 0 155585983 937295872 7743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073584761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6678/statm: 228832 7743 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33458 s]
/proc/loadavg: 0.92 1.08 1.13 2/72 6686
/proc/meminfo: memFree=1599080/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=1.31
/proc/6678/stat : 6678 (java) S 6676 6678 6239 0 -1 0 19140 0 1 0 121 10 0 0 17 0 8 0 155585983 937385984 18877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6678/statm: 228854 18877 2169 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.1
/proc/6678/task/6680/stat : 6680 (java) R 6676 6678 6239 0 -1 64 2655 0 0 0 9 1 0 0 16 0 8 0 155585987 937385984 18877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525281 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 18877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 18877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 18877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.08
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 321 0 0 0 8 0 0 0 16 0 8 0 155585991 937385984 18877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 18877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 18877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915416

[startup+2.98673 s]
/proc/loadavg: 0.92 1.08 1.13 2/72 6686
/proc/meminfo: memFree=1582888/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=2.96
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23462 0 1 0 283 13 0 0 17 0 8 0 155585983 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6678/statm: 228854 23197 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 17 0 8 0 155585987 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.18
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 374 0 0 0 17 1 0 0 15 0 8 0 155585991 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915416

[startup+6.28601 s]
/proc/loadavg: 0.93 1.08 1.13 2/72 6686
/proc/meminfo: memFree=1582832/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=6.24
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23477 0 1 0 611 13 0 0 17 0 8 0 155585983 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23210 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.2
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 387 0 0 0 19 1 0 0 15 0 8 0 155585991 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915416

[startup+12.7586 s]
/proc/loadavg: 0.93 1.07 1.13 2/72 6686
/proc/meminfo: memFree=1582840/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=12.7
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23481 0 1 0 1257 13 0 0 25 0 8 0 155585983 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23213 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.2
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915416

[startup+25.5947 s]
/proc/loadavg: 0.95 1.07 1.13 2/72 6686
/proc/meminfo: memFree=1582904/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=25.53
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23481 0 1 0 2540 13 0 0 25 0 8 0 155585983 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23213 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.2
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915416

[startup+51.2859 s]
/proc/loadavg: 0.96 1.06 1.12 2/72 6686
/proc/meminfo: memFree=1582904/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=51.21
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23481 0 1 0 5107 14 0 0 25 0 8 0 155585983 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23213 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.2
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915416

[startup+102.561 s]
/proc/loadavg: 1.06 1.07 1.12 2/72 6686
/proc/meminfo: memFree=1583032/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=102.46
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23482 0 1 0 10232 14 0 0 25 0 8 0 155585983 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23214 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915416

[startup+162.57 s]
/proc/loadavg: 1.02 1.05 1.11 2/72 6686
/proc/meminfo: memFree=1583032/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=162.43
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23483 0 1 0 16229 14 0 0 25 0 8 0 155585983 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 915416

[startup+882.695 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 6686
/proc/meminfo: memFree=1582904/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=882.14
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23485 0 1 0 88199 15 0 0 25 0 8 0 155585983 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23216 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 915416

[startup+942.705 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 6686
/proc/meminfo: memFree=1582904/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=942.1
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23485 0 1 0 94195 15 0 0 25 0 8 0 155585983 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23216 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 915416

[startup+1002.72 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 6686
/proc/meminfo: memFree=1582840/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=1002.08
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23485 0 1 0 100193 15 0 0 25 0 8 0 155585983 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23216 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 915416

[startup+1062.73 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 6686
/proc/meminfo: memFree=1582904/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=1062.06
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23485 0 1 0 106191 15 0 0 25 0 8 0 155585983 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23216 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 915416

[startup+1122.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 6686
/proc/meminfo: memFree=1582840/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=1122.03
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23485 0 1 0 112188 15 0 0 25 0 8 0 155585983 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23216 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 915416

[startup+1182.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 6686
/proc/meminfo: memFree=1582904/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=1182.01
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23485 0 1 0 118186 15 0 0 25 0 8 0 155585983 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23216 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 915416

[startup+1242.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 6686
/proc/meminfo: memFree=1582840/2055920 swapFree=4192812/4192956
[pid=6678] ppid=6676 vsize=915416 CPUtime=1241.99
/proc/6678/stat : 6678 (java) R 6676 6678 6239 0 -1 0 23485 0 1 0 124184 15 0 0 25 0 8 0 155585983 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6678/statm: 228854 23216 2521 14 0 215324 0
[pid=6678/tid=6680] ppid=6676 vsize=915416 CPUtime=0.15
/proc/6678/task/6680/stat : 6680 (java) S 6676 6678 6239 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155585987 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6681] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6681/stat : 6681 (java) S 6676 6678 6239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6682] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6682/stat : 6682 (java) S 6676 6678 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155585988 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6683] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6683/stat : 6683 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6684] ppid=6676 vsize=915416 CPUtime=0.21
/proc/6678/task/6684/stat : 6684 (java) S 6676 6678 6239 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6685] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6685/stat : 6685 (java) S 6676 6678 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6678/tid=6686] ppid=6676 vsize=915416 CPUtime=0
/proc/6678/task/6686/stat : 6686 (java) S 6676 6678 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155585991 937385984 23216 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 1275.56
CPU time (s): 1274.72
CPU user time (s): 1274.55
CPU system time (s): 0.170974
CPU usage (%): 99.9346
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1274.55
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23491
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= 26677
involuntary context switches= 30384

runsolver used 1.12483 s user time and 3.40248 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Sat Jan  6 08:24:27 UTC 2007


IDJOB= 200025
IDBENCH= 3676
FILE ID= node41/200025-1168071867

PBS_JOBID= 3475950

Free space on /tmp= 66528 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200025-1168071867/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-200025-1168071867 -o ROOT/results/node41/solver-200025-1168071867 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200025-1168071867/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  44a9029656c5509a3d841d7fd303e5d1

RANDOM SEED= 195608910

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:       1666496 kB
Buffers:         32628 kB
Cached:         266504 kB
SwapCached:          0 kB
Active:          53084 kB
Inactive:       261424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1666496 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4516 kB
Writeback:           0 kB
Mapped:          25564 kB
Slab:            60884 kB
Committed_AS:  2497560 kB
PageTables:       1476 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= 66528 MiB



End job on node41 on Sat Jan  6 08:45:43 UTC 2007