Trace number 194434

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 500.604 500.971

DiagnosticValue
CHECKS3347495509
NODES2061144

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-23_ext.xml
MD5SUM10e79bacb24ee1816b3f49175d912749
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark129.765
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints462
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension462
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.48	   
0.48	Abscon 109 (November, 2006)
0.48	   
0.48	   configuration
0.48	     name=mac.xml
0.51	   
0.51	   instance
0.51	     name=/tmp/evaluation/194434-1168069365/unknown.xml
0.54	   
0.54	   domains being loaded...
0.55	   
0.55	   variables being loaded...
0.58	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.58	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.58	   
0.58	   relations being loaded...
0.73	   
0.73	   constraints being loaded...
0.86	     nbConstraints=462  nbRelationTypes=462  nbExtensionStructures=462  nbSharedExtensionStructures=0
0.86	     nbConflictsStructures=462  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2291  maxDegree=25
0.86	     maxArity=2
0.86	       =>  wckTime=0.376  cpuTime=0.28  mem=17M827
0.90	   
0.90	   solver IterativeSystematicSolver being built... 
1.05	       =>  wckTime=0.567  cpuTime=0.41  mem=15M359
1.06	   
1.06	   preprocessing
1.06	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.06	     detectedInconsistency=no
1.06	       =>  wckTime=0.0070  cpuTime=0.0  mem=15M359
1.11	   
1.11	   search
1.11	     run=0  nbConstraintChecks=45034  nbPropagations=606  nbRevisions=6694  nbUselessRevisions=5491  nbAssignments=26
1.11	     nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=38  nbRestartNogoods=0  mapSize=8  nbInferences=0
1.11	     nbTooLargeKeys=0
1.11	       =>  wckTime=0.053  cpuTime=0.03  mem=15M359
1.14	   
1.14	   search
1.14	     run=1  nbConstraintChecks=116312  nbPropagations=1998  nbRevisions=24134  nbUselessRevisions=19683
1.14	     nbAssignments=63  nbFailedAssignments=17  nbBacktracks=28  nbVisitedNodes=95  nbRestartNogoods=2  mapSize=23
1.14	     nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.083  cpuTime=0.06  mem=15M359
1.16	   
1.16	   search
1.16	     run=2  nbConstraintChecks=180847  nbPropagations=4212  nbRevisions=51669  nbUselessRevisions=41981
1.16	     nbAssignments=107  nbFailedAssignments=27  nbBacktracks=53  nbVisitedNodes=161  nbRestartNogoods=4  mapSize=39
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.103  cpuTime=0.07  mem=15M359
1.18	   
1.18	   search
1.18	     run=3  nbConstraintChecks=278775  nbPropagations=7560  nbRevisions=95906  nbUselessRevisions=77866
1.18	     nbAssignments=169  nbFailedAssignments=49  nbBacktracks=86  nbVisitedNodes=260  nbRestartNogoods=6  mapSize=66
1.18	     nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.122  cpuTime=0.09  mem=15M359
1.21	   
1.21	   search
1.21	     run=4  nbConstraintChecks=464424  nbPropagations=12963  nbRevisions=169199  nbUselessRevisions=137446
1.21	     nbAssignments=266  nbFailedAssignments=86  nbBacktracks=136  nbVisitedNodes=422  nbRestartNogoods=7  mapSize=111
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.157  cpuTime=0.12  mem=15M359
1.25	   
1.25	   search
1.25	     run=5  nbConstraintChecks=661282  nbPropagations=20754  nbRevisions=275655  nbUselessRevisions=224235
1.25	     nbAssignments=391  nbFailedAssignments=126  nbBacktracks=211  nbVisitedNodes=619  nbRestartNogoods=13  mapSize=170
1.25	     nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.197  cpuTime=0.16  mem=15M359
1.30	   
1.30	   search
1.30	     run=6  nbConstraintChecks=906870  nbPropagations=31680  nbRevisions=427663  nbUselessRevisions=348522
1.30	     nbAssignments=572  nbFailedAssignments=183  nbBacktracks=327  nbVisitedNodes=911  nbRestartNogoods=15  mapSize=256
1.30	     nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.244  cpuTime=0.21  mem=15M359
1.37	   
1.37	   search
1.37	     run=7  nbConstraintChecks=1298561  nbPropagations=47371  nbRevisions=650856  nbUselessRevisions=531500
1.37	     nbAssignments=831  nbFailedAssignments=263  nbBacktracks=497  nbVisitedNodes=1335  nbRestartNogoods=19  mapSize=388
1.37	     nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.313  cpuTime=0.27  mem=15M359
1.47	   
1.47	   search
1.47	     run=8  nbConstraintChecks=1913372  nbPropagations=70509  nbRevisions=982573  nbUselessRevisions=803075
1.47	     nbAssignments=1239  nbFailedAssignments=402  nbBacktracks=758  nbVisitedNodes=2006  nbRestartNogoods=23
1.47	     mapSize=596  nbInferences=0  nbTooLargeKeys=0
1.47	       =>  wckTime=0.42  cpuTime=0.38  mem=15M359
1.64	   
1.64	   search
1.64	     run=9  nbConstraintChecks=2869319  nbPropagations=105719  nbRevisions=1500849  nbUselessRevisions=1228860
1.64	     nbAssignments=1879  nbFailedAssignments=646  nbBacktracks=1142  nbVisitedNodes=3097  nbRestartNogoods=25
1.64	     mapSize=918  nbInferences=0  nbTooLargeKeys=0
1.64	       =>  wckTime=0.589  cpuTime=0.53  mem=15M359
1.70	   
1.70	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=15M359)
1.90	   
1.90	   search
1.90	     run=10  nbConstraintChecks=4708350  nbPropagations=160512  nbRevisions=2322615  nbUselessRevisions=1901509
1.90	     nbAssignments=2836  nbFailedAssignments=1016  nbBacktracks=1721  nbVisitedNodes=4748  nbRestartNogoods=29
1.90	       =>  wckTime=0.849  cpuTime=0.78  mem=15M359
2.23	   
2.23	   search
2.23	     run=11  nbConstraintChecks=7145348  nbPropagations=242815  nbRevisions=3554462  nbUselessRevisions=2904739
2.23	     nbAssignments=4243  nbFailedAssignments=1547  nbBacktracks=2587  nbVisitedNodes=7119  nbRestartNogoods=36
2.23	       =>  wckTime=1.179  cpuTime=1.1  mem=15M359
2.73	   
2.73	   search
2.73	     run=12  nbConstraintChecks=10456892  nbPropagations=364476  nbRevisions=5385062  nbUselessRevisions=4397623
2.73	     nbAssignments=6293  nbFailedAssignments=2289  nbBacktracks=3886  nbVisitedNodes=10574  nbRestartNogoods=42
2.73	       =>  wckTime=1.681  cpuTime=1.6  mem=15M359
3.56	   
3.56	   search
3.56	     run=13  nbConstraintChecks=15905543  nbPropagations=550922  nbRevisions=8209698  nbUselessRevisions=6701451
3.56	     nbAssignments=9538  nbFailedAssignments=3578  nbBacktracks=5832  nbVisitedNodes=16200  nbRestartNogoods=51
3.56	       =>  wckTime=2.504  cpuTime=2.42  mem=15M359
4.65	   
4.65	   search
4.65	     run=14  nbConstraintChecks=22869572  nbPropagations=825713  nbRevisions=12392029  nbUselessRevisions=10126066
4.65	     nbAssignments=14131  nbFailedAssignments=5243  nbBacktracks=8751  nbVisitedNodes=23990  nbRestartNogoods=57
4.65	       =>  wckTime=3.592  cpuTime=3.51  mem=15M359
6.41	   
6.41	   search
6.41	     run=15  nbConstraintChecks=35479167  nbPropagations=1241003  nbRevisions=18717577  nbUselessRevisions=15287643
6.41	     nbAssignments=21254  nbFailedAssignments=7975  nbBacktracks=13129  nbVisitedNodes=36184  nbRestartNogoods=64
6.41	       =>  wckTime=5.355  cpuTime=5.26  mem=15M359
8.92	   
8.92	   search
8.92	     run=16  nbConstraintChecks=52003668  nbPropagations=1856811  nbRevisions=28129373  nbUselessRevisions=22986142
8.92	     nbAssignments=31721  nbFailedAssignments=11863  nbBacktracks=19697  nbVisitedNodes=53928  nbRestartNogoods=75
8.92	       =>  wckTime=7.868  cpuTime=7.77  mem=15M359
12.90	   
12.90	   search
12.90	     run=17  nbConstraintChecks=78786865  nbPropagations=2788086  nbRevisions=42354239  nbUselessRevisions=34609127
12.90	     nbAssignments=47560  nbFailedAssignments=17841  nbBacktracks=29551  nbVisitedNodes=81056  nbRestartNogoods=83
12.90	       =>  wckTime=11.841  cpuTime=11.74  mem=15M359
18.45	   
18.45	   search
18.45	     run=18  nbConstraintChecks=116241617  nbPropagations=4158108  nbRevisions=63451470  nbUselessRevisions=51880589
18.45	     nbAssignments=70607  nbFailedAssignments=26101  nbBacktracks=44330  nbVisitedNodes=119780  nbRestartNogoods=89
18.45	       =>  wckTime=17.393  cpuTime=17.29  mem=15M359
27.20	   
27.20	   search
27.20	     run=19  nbConstraintChecks=175929625  nbPropagations=6228163  nbRevisions=95071725  nbUselessRevisions=77720860
27.20	     nbAssignments=105831  nbFailedAssignments=39144  nbBacktracks=66503  nbVisitedNodes=179839  nbRestartNogoods=98
27.20	       =>  wckTime=26.147  cpuTime=26.04  mem=15M359
39.45	   
39.45	   search
39.45	     run=20  nbConstraintChecks=255697660  nbPropagations=9289486  nbRevisions=142005621  nbUselessRevisions=116178385
39.45	     nbAssignments=158278  nbFailedAssignments=58327  nbBacktracks=99759  nbVisitedNodes=269109  nbRestartNogoods=107
39.45	       =>  wckTime=38.396  cpuTime=38.29  mem=15M359
59.61	   
59.61	   search
59.61	     run=21  nbConstraintChecks=393805056  nbPropagations=13940884  nbRevisions=213354672  nbUselessRevisions=174549763
59.61	     nbAssignments=238827  nbFailedAssignments=88987  nbBacktracks=149637  nbVisitedNodes=407133  nbRestartNogoods=116
59.61	       =>  wckTime=58.555  cpuTime=58.45  mem=15M359
86.51	   
86.51	   search
86.51	     run=22  nbConstraintChecks=567371776  nbPropagations=20786791  nbRevisions=318155486  nbUselessRevisions=260444398
86.51	     nbAssignments=354868  nbFailedAssignments=130199  nbBacktracks=224455  nbVisitedNodes=603067  nbRestartNogoods=136
86.51	       =>  wckTime=85.453  cpuTime=85.34  mem=15M359
131.90	   
131.90	   search
131.90	     run=23  nbConstraintChecks=881009434  nbPropagations=31160336  nbRevisions=477988161  nbUselessRevisions=391371628
131.90	     nbAssignments=533178  nbFailedAssignments=196270  nbBacktracks=336682  nbVisitedNodes=907192  nbRestartNogoods=146
131.90	       =>  wckTime=130.842  cpuTime=130.71  mem=15M359
194.58	   
194.58	   search
194.58	     run=24  nbConstraintChecks=1293382389  nbPropagations=46627329  nbRevisions=715130215  nbUselessRevisions=585732393
194.58	     nbAssignments=797527  nbFailedAssignments=292262  nbBacktracks=505028  nbVisitedNodes=1355800  nbRestartNogoods=158
194.58	       =>  wckTime=193.528  cpuTime=193.38  mem=15M359
297.53	   
297.53	   search
297.53	     run=25  nbConstraintChecks=2006315659  nbPropagations=70148358  nbRevisions=1075782827
297.53	     nbUselessRevisions=880613473  nbAssignments=1205921  nbFailedAssignments=448134  nbBacktracks=757539
297.53	     nbVisitedNodes=2055027  nbRestartNogoods=172
297.53	       =>  wckTime=296.48  cpuTime=296.31  mem=15M359
436.43	   
436.43	   search
436.43	     run=26  nbConstraintChecks=2906941042  nbPropagations=104968752  nbRevisions=1609965373
436.43	     nbUselessRevisions=1318550994  nbAssignments=1798678  nbFailedAssignments=662115  nbBacktracks=1136307
436.43	     nbVisitedNodes=3058455  nbRestartNogoods=189
436.43	       =>  wckTime=435.374  cpuTime=435.17  mem=15M359
500.94	   
500.94	   search
500.94	     run=27  nbConstraintChecks=3347495509  nbPropagations=144902662  nbRevisions=2221752031
500.94	     nbUselessRevisions=1819732115  nbAssignments=2061144  nbFailedAssignments=757945  nbBacktracks=1302893
500.94	     nbVisitedNodes=3503980  nbRestartNogoods=210
500.94	       =>  wckTime=499.882  cpuTime=499.66  mem=15M359
500.94	   
500.94	   global
500.94	     nbConstraintChecks=3347495509  nbPropagations=144902712  nbRevisions=2221752031  nbUselessRevisions=1819732115
500.94	     nbRestartNogoods=210  solvingWckTime=499.883  solvingCpuTime=499.66  expiredTime=no  totalExploration=no
500.94	     nbFoundSolutions=1  globalCpuTime=500.12
500.94	       =>  wckTime=500.454  cpuTime=500.07  mem=15M359
500.94	   
500.94	s SATISFIABLE
500.94	v 12 19 21 7 15 17 7 8 20 3 7 10 21 6 19 4 15 8 20 5 8 19 5 0 7 5 14 4 14 21 19 4 15 0 13 10 7 1 12 21 18 9 22 14 1 11 21 5 11 0 
500.94	d NODES 2061144
500.94	d CHECKS 3347495509
500.94	   
500.94	   totalWckTime=500.531  totalCpuTime=500.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-194434-1168069365 -o ROOT/results/node41/solver-194434-1168069365 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194434-1168069365/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.03 0.73 1.32 3/68 5958
/proc/meminfo: memFree=1668376/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=0 CPUtime=0
/proc/5957/stat : 5957 (runsolver) R 5955 5957 5411 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155336374 0 0 18446744073709551615 0 0 0 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5957/statm: 0 0 0 0 0 0 0

[startup+0.102847 s]
/proc/loadavg: 0.03 0.73 1.32 3/68 5958
/proc/meminfo: memFree=1668376/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=9788 CPUtime=0
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 461 0 0 0 0 0 0 0 18 0 1 0 155336374 10022912 248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1926274 0 0 4096 0 0 0 0 17 0 0 0
/proc/5957/statm: 2447 248 181 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9788

[startup+0.510883 s]
/proc/loadavg: 0.03 0.73 1.32 3/68 5958
/proc/meminfo: memFree=1668376/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915328 CPUtime=0.31
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 5397 0 1 0 28 3 0 0 17 0 8 0 155336374 937295872 5138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228833 5140 2031 14 0 215303 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915328

[startup+1.33195 s]
/proc/loadavg: 0.03 0.73 1.32 3/76 5968
/proc/meminfo: memFree=1640464/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=1.12
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9597 0 1 0 106 6 0 0 17 0 8 0 155336374 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5957/statm: 228865 9335 2513 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.18
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 155336400 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 915460

[startup+2.98409 s]
/proc/loadavg: 0.03 0.73 1.32 2/75 5968
/proc/meminfo: memFree=1640600/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=2.76
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9616 0 1 0 270 6 0 0 18 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.21
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 21 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 915460

[startup+6.27738 s]
/proc/loadavg: 0.11 0.73 1.32 3/76 5986
/proc/meminfo: memFree=1637968/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=6.05
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9617 0 1 0 598 7 0 0 25 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.21
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 21 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915460

[startup+12.7539 s]
/proc/loadavg: 0.18 0.74 1.31 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=12.52
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9617 0 1 0 1245 7 0 0 25 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.21
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 21 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460

[startup+25.5881 s]
/proc/loadavg: 0.58 0.80 1.33 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=25.35
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9617 0 1 0 2528 7 0 0 25 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460

[startup+51.2853 s]
/proc/loadavg: 1.07 0.89 1.34 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=51.04
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9617 0 1 0 5097 7 0 0 25 0 8 0 155336374 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9353 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 395 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 915460

[startup+102.568 s]
/proc/loadavg: 1.59 1.06 1.37 3/87 6010
/proc/meminfo: memFree=1610104/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=102.31
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9618 0 1 0 10224 7 0 0 25 0 8 0 155336374 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9354 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915460

[startup+162.587 s]
/proc/loadavg: 1.85 1.23 1.41 3/87 6010
/proc/meminfo: memFree=1610104/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=162.31
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9619 0 1 0 16224 7 0 0 25 0 8 0 155336374 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9354 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 915460

[startup+222.607 s]
/proc/loadavg: 1.94 1.37 1.45 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=222.32
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9619 0 1 0 22225 7 0 0 25 0 8 0 155336374 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9354 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 915460

[startup+282.623 s]
/proc/loadavg: 1.98 1.48 1.48 3/87 6010
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=282.32
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9619 0 1 0 28225 7 0 0 25 0 8 0 155336374 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9354 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 915460

[startup+342.646 s]
/proc/loadavg: 1.99 1.57 1.51 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=342.32
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9620 0 1 0 34225 7 0 0 25 0 8 0 155336374 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9355 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 915460

[startup+402.663 s]
/proc/loadavg: 2.14 1.68 1.55 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=402.33
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9620 0 1 0 40226 7 0 0 25 0 8 0 155336374 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9355 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 915460

[startup+462.683 s]
/proc/loadavg: 2.05 1.74 1.57 3/87 6010
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=5957] ppid=5955 vsize=915460 CPUtime=462.33
/proc/5957/stat : 5957 (java) R 5955 5957 5411 0 -1 0 9620 0 1 0 46226 7 0 0 25 0 8 0 155336374 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5957/statm: 228865 9355 2514 14 0 215335 0
[pid=5957/tid=5959] ppid=5955 vsize=915460 CPUtime=0.03
/proc/5957/task/5959/stat : 5959 (java) S 5955 5957 5411 0 -1 64 407 0 0 0 3 0 0 0 16 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5960] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5960/stat : 5960 (java) S 5955 5957 5411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5961] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5961/stat : 5961 (java) S 5955 5957 5411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155336397 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5962] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5962/stat : 5962 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5963] ppid=5955 vsize=915460 CPUtime=0.22
/proc/5957/task/5963/stat : 5963 (java) S 5955 5957 5411 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5957/tid=5964] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5964/stat : 5964 (java) S 5955 5957 5411 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5957/tid=5965] ppid=5955 vsize=915460 CPUtime=0
/proc/5957/task/5965/stat : 5965 (java) S 5955 5957 5411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155336400 937431040 9355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 500.971
CPU time (s): 500.604
CPU user time (s): 500.518
CPU system time (s): 0.085986
CPU usage (%): 99.9268
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.518
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9624
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= 10990
involuntary context switches= 11073

runsolver used 0.433934 s user time and 1.35579 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Sat Jan  6 07:42:46 UTC 2007


IDJOB= 194434
IDBENCH= 3214
FILE ID= node41/194434-1168069365

PBS_JOBID= 3475926

Free space on /tmp= 66531 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194434-1168069365/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-194434-1168069365 -o ROOT/results/node41/solver-194434-1168069365 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194434-1168069365/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  10e79bacb24ee1816b3f49175d912749

RANDOM SEED= 151391577

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:       1668856 kB
Buffers:         31948 kB
Cached:         259840 kB
SwapCached:          0 kB
Active:          54720 kB
Inactive:       257180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1668856 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2208 kB
Writeback:           0 kB
Mapped:          30276 kB
Slab:            60784 kB
Committed_AS:  2485504 kB
PageTables:       1700 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= 66529 MiB



End job on node41 on Sat Jan  6 07:51:13 UTC 2007