Trace number 229926

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 ESACSAT 242.28 244.472

DiagnosticValue
CHECKS1588213368
NODES934085

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-43_ext.xml
MD5SUMa193d27925f8e1a417d3aef56460952d
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 benchmark222.449
SatisfiableYES
(Un)Satisfiability was proved
Number of variables50
Number of constraints476
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension476
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/229926-1168313512/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.44	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.44	       =>  wckTime=0.106  cpuTime=0.08  mem=6M951
0.44	   
0.44	   relations being loaded...
0.60	   
0.60	   constraints being loaded...
0.75	     nbConstraints=476  nbRelationTypes=476  nbExtensionStructures=476  nbSharedExtensionStructures=0
0.75	     nbConflictsStructures=476  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2548  maxDegree=27
0.75	     maxArity=2
0.75	       =>  wckTime=0.414  cpuTime=0.3  mem=17M695
0.79	   
0.79	   solver IterativeSystematicSolver being built... 
0.96	       =>  wckTime=0.63  cpuTime=0.44  mem=15M599
1.03	   
1.03	   preprocessing
1.03	     nbConstraintChecks=105249  nbPropagations=1170  nbRevisions=9130  nbUselessRevisions=7530  nbSingletonTests=59
1.03	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
1.03	       =>  wckTime=0.062  cpuTime=0.03  mem=15M599
1.06	   
1.06	   search
1.06	     run=0  nbConstraintChecks=36693  nbPropagations=1634  nbRevisions=14459  nbUselessRevisions=11994  nbAssignments=26
1.06	     nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=37  nbRestartNogoods=0  mapSize=8  nbInferences=0
1.06	     nbTooLargeKeys=0
1.06	       =>  wckTime=0.091  cpuTime=0.05  mem=15M599
1.08	   
1.08	   search
1.08	     run=1  nbConstraintChecks=108419  nbPropagations=4079  nbRevisions=39348  nbUselessRevisions=32595
1.08	     nbAssignments=67  nbFailedAssignments=17  nbBacktracks=25  nbVisitedNodes=100  nbRestartNogoods=1  mapSize=22
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.115  cpuTime=0.08  mem=15M599
1.10	   
1.10	   search
1.10	     run=2  nbConstraintChecks=203739  nbPropagations=7608  nbRevisions=80591  nbUselessRevisions=66830
1.10	     nbAssignments=122  nbFailedAssignments=38  nbBacktracks=47  nbVisitedNodes=191  nbRestartNogoods=3  mapSize=43
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.133  cpuTime=0.09  mem=15M599
1.12	   
1.12	   search
1.12	     run=3  nbConstraintChecks=307082  nbPropagations=12341  nbRevisions=138796  nbUselessRevisions=115165
1.12	     nbAssignments=186  nbFailedAssignments=58  nbBacktracks=80  nbVisitedNodes=291  nbRestartNogoods=9  mapSize=70
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.154  cpuTime=0.11  mem=15M599
1.16	   
1.16	   search
1.16	     run=4  nbConstraintChecks=467492  nbPropagations=18994  nbRevisions=224254  nbUselessRevisions=185882
1.16	     nbAssignments=273  nbFailedAssignments=84  nbBacktracks=131  nbVisitedNodes=438  nbRestartNogoods=13  mapSize=117
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.192  cpuTime=0.14  mem=15M599
1.21	   
1.21	   search
1.21	     run=5  nbConstraintChecks=704457  nbPropagations=28326  nbRevisions=350844  nbUselessRevisions=290431
1.21	     nbAssignments=403  nbFailedAssignments=128  nbBacktracks=206  nbVisitedNodes=659  nbRestartNogoods=17  mapSize=181
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.244  cpuTime=0.19  mem=15M599
1.26	   
1.26	   search
1.26	     run=6  nbConstraintChecks=965164  nbPropagations=40986  nbRevisions=527376  nbUselessRevisions=436337
1.26	     nbAssignments=594  nbFailedAssignments=190  nbBacktracks=324  nbVisitedNodes=972  nbRestartNogoods=20  mapSize=269
1.26	     nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.295  cpuTime=0.24  mem=15M599
1.34	   
1.34	   search
1.34	     run=7  nbConstraintChecks=1399081  nbPropagations=58958  nbRevisions=785718  nbUselessRevisions=650003
1.34	     nbAssignments=866  nbFailedAssignments=280  nbBacktracks=495  nbVisitedNodes=1426  nbRestartNogoods=25  mapSize=402
1.34	     nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.378  cpuTime=0.32  mem=15M599
1.47	   
1.47	   search
1.47	     run=8  nbConstraintChecks=2100847  nbPropagations=85244  nbRevisions=1174115  nbUselessRevisions=970957
1.47	     nbAssignments=1298  nbFailedAssignments=444  nbBacktracks=751  nbVisitedNodes=2160  nbRestartNogoods=35
1.47	     mapSize=611  nbInferences=0  nbTooLargeKeys=0
1.47	       =>  wckTime=0.509  cpuTime=0.45  mem=15M599
1.68	   
1.68	   search
1.68	     run=9  nbConstraintChecks=3271123  nbPropagations=125002  nbRevisions=1772576  nbUselessRevisions=1464142
1.68	     nbAssignments=1968  nbFailedAssignments=717  nbBacktracks=1138  nbVisitedNodes=3326  nbRestartNogoods=39
1.68	     mapSize=950  nbInferences=0  nbTooLargeKeys=0
1.68	       =>  wckTime=0.718  cpuTime=0.64  mem=15M599
1.74	   
1.74	   INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=15M599)
1.93	   
1.93	   search
1.93	     run=10  nbConstraintChecks=4692056  nbPropagations=182128  nbRevisions=2635654  nbUselessRevisions=2174870
1.93	     nbAssignments=2897  nbFailedAssignments=1057  nbBacktracks=1714  nbVisitedNodes=4891  nbRestartNogoods=43
1.93	       =>  wckTime=0.96  cpuTime=0.87  mem=15M599
2.30	   
2.30	   search
2.30	     run=11  nbConstraintChecks=7233260  nbPropagations=267061  nbRevisions=3940962  nbUselessRevisions=3248407
2.30	     nbAssignments=4321  nbFailedAssignments=1608  nbBacktracks=2579  nbVisitedNodes=7347  nbRestartNogoods=46
2.30	       =>  wckTime=1.339  cpuTime=1.24  mem=15M599
2.84	   
2.84	   search
2.84	     run=12  nbConstraintChecks=10767151  nbPropagations=392030  nbRevisions=5868324  nbUselessRevisions=4830141
2.84	     nbAssignments=6382  nbFailedAssignments=2359  nbBacktracks=3877  nbVisitedNodes=10824  nbRestartNogoods=53
2.84	       =>  wckTime=1.871  cpuTime=1.77  mem=15M599
3.56	   
3.56	   search
3.56	     run=13  nbConstraintChecks=15220070  nbPropagations=572261  nbRevisions=8658194  nbUselessRevisions=7123216
3.56	     nbAssignments=9428  nbFailedAssignments=3424  nbBacktracks=5824  nbVisitedNodes=15859  nbRestartNogoods=63
3.56	       =>  wckTime=2.595  cpuTime=2.48  mem=15M599
4.78	   
4.78	   search
4.78	     run=14  nbConstraintChecks=23028369  nbPropagations=844910  nbRevisions=12930846  nbUselessRevisions=10640683
4.78	     nbAssignments=14315  nbFailedAssignments=5382  nbBacktracks=8743  nbVisitedNodes=24315  nbRestartNogoods=72
4.78	       =>  wckTime=3.815  cpuTime=3.69  mem=15M599
6.62	   
6.62	   search
6.62	     run=15  nbConstraintChecks=34761283  nbPropagations=1257538  nbRevisions=19444333  nbUselessRevisions=16007545
6.62	     nbAssignments=21507  nbFailedAssignments=8186  nbBacktracks=13121  nbVisitedNodes=36796  nbRestartNogoods=77
6.62	       =>  wckTime=5.659  cpuTime=5.52  mem=16M574
9.37	   
9.37	   search
9.37	     run=16  nbConstraintChecks=52631052  nbPropagations=1873850  nbRevisions=29216352  nbUselessRevisions=24057352
9.37	     nbAssignments=32142  nbFailedAssignments=12224  nbBacktracks=19689  nbVisitedNodes=54950  nbRestartNogoods=87
9.37	       =>  wckTime=8.408  cpuTime=8.23  mem=16M574
13.64	   
13.64	   search
13.64	     run=17  nbConstraintChecks=80923661  nbPropagations=2806097  nbRevisions=44007334  nbUselessRevisions=36226618
13.64	     nbAssignments=47886  nbFailedAssignments=18106  nbBacktracks=29541  nbVisitedNodes=81901  nbRestartNogoods=96
13.64	       =>  wckTime=12.672  cpuTime=12.46  mem=16M574
19.41	   
19.41	   search
19.41	     run=18  nbConstraintChecks=117807507  nbPropagations=4178175  nbRevisions=65817490  nbUselessRevisions=54194966
19.41	     nbAssignments=71258  nbFailedAssignments=26687  nbBacktracks=44322  nbVisitedNodes=121766  nbRestartNogoods=111
19.41	       =>  wckTime=18.447  cpuTime=18.19  mem=16M574
29.07	   
29.07	   search
29.07	     run=19  nbConstraintChecks=181120484  nbPropagations=6273692  nbRevisions=99267780  nbUselessRevisions=81755129
29.07	     nbAssignments=107805  nbFailedAssignments=41054  nbBacktracks=66494  nbVisitedNodes=185078  nbRestartNogoods=118
29.07	       =>  wckTime=28.102  cpuTime=27.76  mem=16M574
42.02	   
42.02	   search
42.02	     run=20  nbConstraintChecks=261499569  nbPropagations=9359593  nbRevisions=148616671  nbUselessRevisions=122514690
42.02	     nbAssignments=160915  nbFailedAssignments=60889  nbBacktracks=99746  nbVisitedNodes=275841  nbRestartNogoods=133
42.02	       =>  wckTime=41.054  cpuTime=40.59  mem=16M574
63.05	   
63.05	   search
63.05	     run=21  nbConstraintChecks=401233076  nbPropagations=14008544  nbRevisions=222894276  nbUselessRevisions=183756867
63.05	     nbAssignments=240679  nbFailedAssignments=90762  nbBacktracks=149627  nbVisitedNodes=412451  nbRestartNogoods=143
63.05	       =>  wckTime=62.088  cpuTime=61.45  mem=16M574
93.35	   
93.35	   search
93.35	     run=22  nbConstraintChecks=595797583  nbPropagations=20916950  nbRevisions=333551542  nbUselessRevisions=275046062
93.35	     nbAssignments=360241  nbFailedAssignments=135497  nbBacktracks=224445  nbVisitedNodes=617110  nbRestartNogoods=158
93.35	       =>  wckTime=92.382  cpuTime=91.46  mem=16M574
139.29	   
139.29	   search
139.29	     run=23  nbConstraintChecks=891459777  nbPropagations=31301040  nbRevisions=499689171  nbUselessRevisions=412133629
139.29	     nbAssignments=539647  nbFailedAssignments=202661  nbBacktracks=336673  nbVisitedNodes=924086  nbRestartNogoods=174
139.29	       =>  wckTime=138.323  cpuTime=137.0  mem=16M574
210.82	   
210.82	   search
210.82	     run=24  nbConstraintChecks=1360679259  nbPropagations=47050079  nbRevisions=751243995  nbUselessRevisions=619542306
210.82	     nbAssignments=811075  nbFailedAssignments=305739  nbBacktracks=505014  nbVisitedNodes=1390442  nbRestartNogoods=185
210.82	       =>  wckTime=209.852  cpuTime=207.9  mem=16M574
244.44	   
244.44	   search
244.44	     run=25  nbConstraintChecks=1588108119  nbPropagations=65273863  nbRevisions=1042104316
244.44	     nbUselessRevisions=859113166  nbAssignments=934085  nbFailedAssignments=352555  nbBacktracks=581158
244.44	     nbVisitedNodes=1602112  nbRestartNogoods=207
244.44	       =>  wckTime=243.477  cpuTime=241.23  mem=16M574
244.44	   
244.44	   global
244.44	     nbConstraintChecks=1588213368  nbPropagations=65275033  nbRevisions=1042113446  nbUselessRevisions=859120696
244.44	     nbRestartNogoods=207  solvingWckTime=243.478  solvingCpuTime=241.23  expiredTime=no  totalExploration=no
244.44	     nbFoundSolutions=1  globalCpuTime=241.73
244.44	       =>  wckTime=244.112  cpuTime=241.67  mem=16M574
244.45	   
244.45	s SATISFIABLE
244.45	v 2 17 10 21 0 13 11 4 21 17 11 13 18 2 18 18 16 5 10 15 22 12 15 5 17 21 9 4 13 8 19 6 16 3 10 7 8 3 4 1 0 17 3 17 4 19 19 4 9 1 
244.45	d NODES 934085
244.45	d CHECKS 1588213368
244.45	   
244.45	   totalWckTime=244.198  totalCpuTime=241.74

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/node6/watcher-229926-1168313512 -o ROOT/results/node6/solver-229926-1168313512 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229926-1168313512/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.95 1.99 2.09 4/87 28246
/proc/meminfo: memFree=1288040/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=18540 CPUtime=0
/proc/28245/stat : 28245 (runsolver) R 28243 28245 23216 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 179746671 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28245/statm: 4635 279 244 17 0 2626 0

[startup+0.107954 s]
/proc/loadavg: 1.95 1.99 2.09 4/87 28246
/proc/meminfo: memFree=1288040/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=913068 CPUtime=0.08
/proc/28245/stat : 28245 (java) S 28243 28245 23216 0 -1 0 2873 0 1 0 6 2 0 0 17 0 8 0 179746671 934981632 2619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.516001 s]
/proc/loadavg: 1.95 1.99 2.09 4/87 28246
/proc/meminfo: memFree=1288040/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915328 CPUtime=0.48
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 6669 0 1 0 43 5 0 0 18 0 8 0 179746671 937295872 6408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228832 6408 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34109 s]
/proc/loadavg: 1.95 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260272/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=1.29
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9670 0 1 0 121 8 0 0 24 0 8 0 179746671 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9408 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.23
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 382 0 0 0 22 1 0 0 15 0 8 0 179746680 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460

[startup+2.98928 s]
/proc/loadavg: 1.95 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260144/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=2.93
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9688 0 1 0 285 8 0 0 25 0 8 0 179746671 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9424 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 17 0 8 0 179746676 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 399 0 0 0 26 1 0 0 15 0 8 0 179746680 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.26867 s]
/proc/loadavg: 1.95 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260016/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=6.17
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9689 0 1 0 609 8 0 0 25 0 8 0 179746671 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9425 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 399 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915460

[startup+12.7584 s]
/proc/loadavg: 1.96 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260016/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=12.61
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9689 0 1 0 1252 9 0 0 25 0 8 0 179746671 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9425 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 399 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460

[startup+25.6069 s]
/proc/loadavg: 1.97 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260080/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=25.35
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9689 0 1 0 2526 9 0 0 25 0 8 0 179746671 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9425 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 399 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9425 18446744073709551615 134512640 134570532 4294956464 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.2259 s]
/proc/loadavg: 1.98 1.99 2.09 3/94 28253
/proc/meminfo: memFree=1260080/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=50.74
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9691 0 1 0 5065 9 0 0 25 0 8 0 179746671 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9426 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 400 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915460

[startup+102.446 s]
/proc/loadavg: 1.99 1.99 2.08 3/94 28253
/proc/meminfo: memFree=1258800/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=101.5
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9692 0 1 0 10141 9 0 0 25 0 8 0 179746671 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9427 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) R 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915460

[startup+162.519 s]
/proc/loadavg: 2.03 2.01 2.08 3/94 28253
/proc/meminfo: memFree=1255984/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=161.06
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9692 0 1 0 16096 10 0 0 25 0 8 0 179746671 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9427 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 915460

[startup+222.589 s]
/proc/loadavg: 2.01 2.00 2.07 3/94 28253
/proc/meminfo: memFree=1255792/2055924 swapFree=4165672/4192956
[pid=28245] ppid=28243 vsize=915460 CPUtime=220.59
/proc/28245/stat : 28245 (java) R 28243 28245 23216 0 -1 0 9692 0 1 0 22049 10 0 0 25 0 8 0 179746671 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28245/statm: 228865 9427 2524 14 0 215335 0
[pid=28245/tid=28247] ppid=28243 vsize=915460 CPUtime=0.04
/proc/28245/task/28247/stat : 28247 (java) S 28243 28245 23216 0 -1 64 412 0 0 0 4 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28248] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28248/stat : 28248 (java) S 28243 28245 23216 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28249] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28249/stat : 28249 (java) S 28243 28245 23216 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179746676 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28250] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28250/stat : 28250 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28251] ppid=28243 vsize=915460 CPUtime=0.27
/proc/28245/task/28251/stat : 28251 (java) S 28243 28245 23216 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28252] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28252/stat : 28252 (java) S 28243 28245 23216 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28245/tid=28253] ppid=28243 vsize=915460 CPUtime=0
/proc/28245/task/28253/stat : 28253 (java) S 28243 28245 23216 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179746680 937431040 9427 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 244.472
CPU time (s): 242.28
CPU user time (s): 242.161
CPU system time (s): 0.118981
CPU usage (%): 99.1035
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.161
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9700
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= 6118
involuntary context switches= 10852

runsolver used 0.275958 s user time and 0.823874 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Tue Jan  9 03:31:52 UTC 2007


IDJOB= 229926
IDBENCH= 6377
FILE ID= node6/229926-1168313512

PBS_JOBID= 3502334

Free space on /tmp= 66538 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a193d27925f8e1a417d3aef56460952d

RANDOM SEED= 491614954

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.240
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.240
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:      2055924 kB
MemFree:       1288520 kB
Buffers:         97844 kB
Cached:         511688 kB
SwapCached:       2944 kB
Active:         388244 kB
Inactive:       295544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1288520 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            2152 kB
Writeback:           0 kB
Mapped:          84300 kB
Slab:            68308 kB
Committed_AS:  5698948 kB
PageTables:       2448 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= 66538 MiB



End job on node6 on Tue Jan  9 03:35:57 UTC 2007