Trace number 247438

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 254.706 256.963

DiagnosticValue
CHECKS93968747
NODES290693

General information on the benchmark

Namerandom/rand-8-20-5/
rand-8-20-5-18-800-5_ext.xml
MD5SUMfd92d74890c9fc650983ee8569f494ff
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark33.7579
SatisfiableYES
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
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/247438-1168392513/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=20  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.43	       =>  wckTime=0.099  cpuTime=0.08  mem=6M951
0.43	   
0.43	   relations being loaded...
4.19	   
4.19	   INFO : Contraction of relations, mem = 103M178
6.69	   
6.69	   constraints being loaded...
11.00	     nbConstraints=18  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=0
11.00	     nbConflictsStructures=18  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=10  maxArity=8
11.00	       =>  wckTime=10.669  cpuTime=8.44  mem=228M187
12.23	   
12.23	   solver IterativeSystematicSolver being built... 
12.42	       =>  wckTime=12.086  cpuTime=8.6  mem=143M347
12.48	   
12.48	   preprocessing
12.48	     nbConstraintChecks=4476  nbValidityChecks=8322  nbPropagations=60  nbRevisions=1077  nbUselessRevisions=1035
12.48	     nbSingletonTests=24  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
12.48	       =>  wckTime=0.059  cpuTime=0.04  mem=143M347
12.54	   
12.54	   search
12.54	     run=0  nbConstraintChecks=10924  nbValidityChecks=18863  nbPropagations=232  nbRevisions=3686
12.54	     nbUselessRevisions=3271  nbAssignments=33  nbFailedAssignments=13  nbBacktracks=11  nbVisitedNodes=55
12.54	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
12.54	       =>  wckTime=0.121  cpuTime=0.09  mem=144M108
12.59	   
12.59	   search
12.59	     run=1  nbConstraintChecks=20626  nbValidityChecks=37239  nbPropagations=661  nbRevisions=10080
12.59	     nbUselessRevisions=8861  nbAssignments=70  nbFailedAssignments=26  nbBacktracks=27  nbVisitedNodes=116
12.59	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
12.59	       =>  wckTime=0.172  cpuTime=0.13  mem=144M108
12.67	   
12.67	   search
12.67	     run=2  nbConstraintChecks=39779  nbValidityChecks=70125  nbPropagations=1374  nbRevisions=20967
12.67	     nbUselessRevisions=18250  nbAssignments=127  nbFailedAssignments=52  nbBacktracks=49  nbVisitedNodes=214
12.67	     nbRestartNogoods=4  mapSize=43  nbInferences=0  nbTooLargeKeys=0
12.67	       =>  wckTime=0.253  cpuTime=0.2  mem=144M108
12.78	   
12.78	   search
12.78	     run=3  nbConstraintChecks=68086  nbValidityChecks=121164  nbPropagations=2556  nbRevisions=39265
12.78	     nbUselessRevisions=33945  nbAssignments=212  nbFailedAssignments=94  nbBacktracks=83  nbVisitedNodes=364
12.78	     nbRestartNogoods=10  mapSize=72  nbInferences=0  nbTooLargeKeys=0
12.78	       =>  wckTime=0.361  cpuTime=0.3  mem=144M108
12.90	   
12.90	   search
12.90	     run=4  nbConstraintChecks=104133  nbValidityChecks=185196  nbPropagations=4353  nbRevisions=66759
12.90	     nbUselessRevisions=57605  nbAssignments=314  nbFailedAssignments=138  nbBacktracks=133  nbVisitedNodes=538
12.90	     nbRestartNogoods=15  mapSize=113  nbInferences=0  nbTooLargeKeys=0
12.90	       =>  wckTime=0.48  cpuTime=0.41  mem=144M108
13.02	   
13.02	   search
13.02	     run=5  nbConstraintChecks=144397  nbValidityChecks=255911  nbPropagations=6868  nbRevisions=104439
13.02	     nbUselessRevisions=89864  nbAssignments=454  nbFailedAssignments=197  nbBacktracks=208  nbVisitedNodes=775
13.02	     nbRestartNogoods=19  mapSize=173  nbInferences=0  nbTooLargeKeys=0
13.03	       =>  wckTime=0.607  cpuTime=0.54  mem=144M108
13.24	   
13.24	   search
13.24	     run=6  nbConstraintChecks=217476  nbValidityChecks=380030  nbPropagations=10585  nbRevisions=159541
13.24	     nbUselessRevisions=136702  nbAssignments=677  nbFailedAssignments=299  nbBacktracks=322  nbVisitedNodes=1160
13.24	     nbRestartNogoods=21  mapSize=269  nbInferences=0  nbTooLargeKeys=0
13.24	       =>  wckTime=0.824  cpuTime=0.75  mem=144M108
13.62	   
13.62	   search
13.62	     run=7  nbConstraintChecks=349235  nbValidityChecks=597244  nbPropagations=16251  nbRevisions=244001
13.62	     nbUselessRevisions=208477  nbAssignments=1021  nbFailedAssignments=464  nbBacktracks=492  nbVisitedNodes=1781
13.62	     nbRestartNogoods=26  mapSize=423  nbInferences=0  nbTooLargeKeys=0
13.62	       =>  wckTime=1.2  cpuTime=1.12  mem=144M108
14.23	   
14.23	   search
14.23	     run=8  nbConstraintChecks=560889  nbValidityChecks=944510  nbPropagations=25100  nbRevisions=375272
14.23	     nbUselessRevisions=319579  nbAssignments=1564  nbFailedAssignments=742  nbBacktracks=750  nbVisitedNodes=2774
14.23	     nbRestartNogoods=30  mapSize=661  nbInferences=0  nbTooLargeKeys=0
14.23	       =>  wckTime=1.815  cpuTime=1.71  mem=144M108
15.15	   
15.15	   search
15.15	     run=9  nbConstraintChecks=858215  nbValidityChecks=1469524  nbPropagations=39033  nbRevisions=582608
15.15	     nbUselessRevisions=495133  nbAssignments=2380  nbFailedAssignments=1166  nbBacktracks=1134  nbVisitedNodes=4263
15.15	     nbRestartNogoods=35  mapSize=1022  nbInferences=0  nbTooLargeKeys=0
15.15	       =>  wckTime=2.73  cpuTime=2.61  mem=144M108
15.20	   
15.20	   INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=144M108)
16.33	   
16.33	   search
16.33	     run=10  nbConstraintChecks=1238174  nbValidityChecks=2141737  nbPropagations=59802  nbRevisions=888750
16.33	     nbUselessRevisions=753836  nbAssignments=3544  nbFailedAssignments=1729  nbBacktracks=1710  nbVisitedNodes=6336
16.33	     nbRestartNogoods=44
16.33	       =>  wckTime=3.908  cpuTime=3.78  mem=144M108
17.90	   
17.90	   search
17.90	     run=11  nbConstraintChecks=1807366  nbValidityChecks=3124991  nbPropagations=90975  nbRevisions=1335665
17.90	     nbUselessRevisions=1128934  nbAssignments=5392  nbFailedAssignments=2704  nbBacktracks=2575  nbVisitedNodes=9689
17.90	     nbRestartNogoods=54
17.90	       =>  wckTime=5.484  cpuTime=5.35  mem=144M108
20.33	   
20.33	   search
20.33	     run=12  nbConstraintChecks=2669065  nbValidityChecks=4603175  nbPropagations=137078  nbRevisions=1992064
20.33	     nbUselessRevisions=1678611  nbAssignments=8028  nbFailedAssignments=4034  nbBacktracks=3872  nbVisitedNodes=14459
20.33	     nbRestartNogoods=68
20.33	       =>  wckTime=7.91  cpuTime=7.76  mem=144M108
24.02	   
24.02	   search
24.02	     run=13  nbConstraintChecks=3985526  nbValidityChecks=6886168  nbPropagations=206708  nbRevisions=2977250
24.02	     nbUselessRevisions=2500356  nbAssignments=12339  nbFailedAssignments=6371  nbBacktracks=5820  nbVisitedNodes=22285
24.02	     nbRestartNogoods=75
24.02	       =>  wckTime=11.598  cpuTime=11.43  mem=144M108
29.28	   
29.28	   search
29.28	     run=14  nbConstraintChecks=5888927  nbValidityChecks=10141084  nbPropagations=309670  nbRevisions=4426138
29.28	     nbUselessRevisions=3707558  nbAssignments=18251  nbFailedAssignments=9355  nbBacktracks=8739  nbVisitedNodes=32945
29.28	     nbRestartNogoods=84
29.28	       =>  wckTime=16.86  cpuTime=16.67  mem=144M108
37.29	   
37.30	   search
37.30	     run=15  nbConstraintChecks=8803230  nbValidityChecks=15135027  nbPropagations=463637  nbRevisions=6582753
37.30	     nbUselessRevisions=5501576  nbAssignments=27383  nbFailedAssignments=14100  nbBacktracks=13117
37.30	     nbVisitedNodes=49520  nbRestartNogoods=93
37.30	       =>  wckTime=24.877  cpuTime=24.64  mem=144M108
49.28	   
49.28	   search
49.28	     run=16  nbConstraintChecks=13177172  nbValidityChecks=22580668  nbPropagations=693639  nbRevisions=9793124
49.28	     nbUselessRevisions=8170416  nbAssignments=40838  nbFailedAssignments=20962  nbBacktracks=19686
49.28	     nbVisitedNodes=73801  nbRestartNogoods=100
49.28	       =>  wckTime=36.865  cpuTime=36.55  mem=144M108
67.01	   
67.01	   search
67.01	     run=17  nbConstraintChecks=19628784  nbValidityChecks=33544725  nbPropagations=1034157  nbRevisions=14547752
67.01	     nbUselessRevisions=12124659  nbAssignments=60689  nbFailedAssignments=30951  nbBacktracks=29540
67.01	     nbVisitedNodes=109532  nbRestartNogoods=108
67.01	       =>  wckTime=54.589  cpuTime=54.19  mem=144M108
91.82	   
91.82	   search
91.82	     run=18  nbConstraintChecks=29269176  nbValidityChecks=49965341  nbPropagations=1539415  nbRevisions=21615625
91.82	     nbUselessRevisions=18006463  nbAssignments=90334  nbFailedAssignments=45810  nbBacktracks=44318
91.82	     nbVisitedNodes=162807  nbRestartNogoods=117
91.82	       =>  wckTime=79.401  cpuTime=78.82  mem=144M108
129.49	   
129.49	   search
129.49	     run=19  nbConstraintChecks=43600610  nbValidityChecks=74358970  nbPropagations=2288327  nbRevisions=32115475
129.50	     nbUselessRevisions=26744898  nbAssignments=135098  nbFailedAssignments=68398  nbBacktracks=66488
129.50	     nbVisitedNodes=243170  nbRestartNogoods=127
129.50	       =>  wckTime=117.077  cpuTime=114.98  mem=144M108
183.73	   
183.73	   search
183.73	     run=20  nbConstraintChecks=65125691  nbValidityChecks=110975807  nbPropagations=3405525  nbRevisions=47778294
183.73	     nbUselessRevisions=39780183  nbAssignments=201749  nbFailedAssignments=101787  nbBacktracks=99741
183.73	     nbVisitedNodes=362860  nbRestartNogoods=139
183.73	       =>  wckTime=171.31  cpuTime=169.08  mem=144M108
256.88	   
256.88	   search
256.88	     run=21  nbConstraintChecks=93964271  nbValidityChecks=159778248  nbPropagations=5009880  nbRevisions=70257400
256.88	     nbUselessRevisions=58482741  nbAssignments=290693  nbFailedAssignments=147104  nbBacktracks=143348
256.88	     nbVisitedNodes=522655  nbRestartNogoods=152
256.88	       =>  wckTime=244.458  cpuTime=242.21  mem=144M108
256.88	   
256.88	   global
256.88	     nbConstraintChecks=93968747  nbValidityChecks=159786570  nbPropagations=5009940  nbRevisions=70258477
256.88	     nbUselessRevisions=58483776  nbRestartNogoods=152  solvingWckTime=244.459  solvingCpuTime=242.21  expiredTime=no
256.88	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=250.87
256.88	       =>  wckTime=256.548  cpuTime=250.81  mem=144M108
256.88	   
256.88	s SATISFIABLE
256.88	v 0 3 2 3 2 4 4 0 3 4 0 4 3 0 4 4 4 0 2 2 
256.88	d NODES 290693
256.88	d CHECKS 93968747
256.88	   
256.88	   totalWckTime=256.631  totalCpuTime=250.87

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/node15/watcher-247438-1168392513 -o ROOT/results/node15/solver-247438-1168392513 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247438-1168392513/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: 2.10 2.07 2.01 5/94 18021
/proc/meminfo: memFree=981240/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=18540 CPUtime=0
/proc/18020/stat : 18020 (runsolver) R 18018 18020 17678 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 187646199 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18020/statm: 4635 279 244 17 0 2626 0

[startup+0.102992 s]
/proc/loadavg: 2.10 2.07 2.01 5/94 18021
/proc/meminfo: memFree=981240/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=912760 CPUtime=0.08
/proc/18020/stat : 18020 (java) S 18018 18020 17678 0 -1 0 2783 0 1 0 7 1 0 0 18 0 8 0 187646199 934666240 2529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228190 2529 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760

[startup+0.511065 s]
/proc/loadavg: 2.10 2.07 2.01 5/94 18021
/proc/meminfo: memFree=981240/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915328 CPUtime=0.48
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 9274 0 1 0 43 5 0 0 18 0 8 0 187646199 937295872 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228832 9013 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.3332 s]
/proc/loadavg: 2.10 2.07 2.01 3/101 18028
/proc/meminfo: memFree=913152/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915328 CPUtime=1.3
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 19907 0 1 0 118 12 0 0 25 0 8 0 187646199 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228832 19645 2147 14 0 215302 0
[pid=18020/tid=18022] ppid=18018 vsize=915328 CPUtime=0.04
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 3497 0 0 0 3 1 0 0 16 0 8 0 187646203 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187646204 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187646204 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915328 CPUtime=0.07
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 303 0 0 0 7 0 0 0 16 0 8 0 187646207 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.9835 s]
/proc/loadavg: 2.10 2.07 2.01 3/101 18028
/proc/meminfo: memFree=887552/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915328 CPUtime=2.95
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 28360 0 1 0 278 17 0 0 25 0 8 0 187646199 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228832 28095 2147 14 0 215302 0
[pid=18020/tid=18022] ppid=18018 vsize=915328 CPUtime=0.21
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 11945 0 0 0 15 6 0 0 16 0 8 0 187646203 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187646204 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187646204 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915328 CPUtime=0.07
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 187646207 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915328

[startup+6.27705 s]
/proc/loadavg: 2.09 2.07 2.01 3/101 18028
/proc/meminfo: memFree=849024/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=6.22
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 40257 0 1 0 595 27 0 0 25 0 8 0 187646199 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 38412 2153 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=1.11
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 23829 0 0 0 98 13 0 0 22 0 8 0 187646203 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.08
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 187646207 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915400

[startup+12.7722 s]
/proc/loadavg: 2.08 2.06 2.01 3/101 18028
/proc/meminfo: memFree=741632/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=12.68
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64210 0 1 0 1227 41 0 0 25 0 8 0 187646199 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62358 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 25 0 8 0 187646203 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.19
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 365 0 0 0 18 1 0 0 15 0 8 0 187646207 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915400

[startup+25.6454 s]
/proc/loadavg: 2.13 2.08 2.02 3/101 18028
/proc/meminfo: memFree=741632/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=25.5
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 2508 42 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915400

[startup+51.2888 s]
/proc/loadavg: 2.08 2.07 2.01 3/101 18028
/proc/meminfo: memFree=741504/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=50.99
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 5057 42 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915400

[startup+102.574 s]
/proc/loadavg: 2.09 2.07 2.01 3/104 18079
/proc/meminfo: memFree=765032/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=100.7
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 10026 44 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.7
Current children cumulated vsize (KiB) 915400

[startup+162.643 s]
/proc/loadavg: 1.78 1.99 1.99 2/85 18152
/proc/meminfo: memFree=1485912/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=160.45
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 15986 59 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073765040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.45
Current children cumulated vsize (KiB) 915400

[startup+222.734 s]
/proc/loadavg: 1.28 1.81 1.92 2/85 18152
/proc/meminfo: memFree=1485912/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=220.51
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 21992 59 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.51
Current children cumulated vsize (KiB) 915400

Child status: 0
Real time (s): 256.963
CPU time (s): 254.706
CPU user time (s): 254.068
CPU system time (s): 0.637903
CPU usage (%): 99.1218
Max. virtual memory (cumulated for all children) (KiB): 919404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.068
system time used= 0.637903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64242
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= 6399
involuntary context switches= 10607

runsolver used 0.273958 s user time and 0.795879 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Wed Jan 10 01:28:33 UTC 2007


IDJOB= 247438
IDBENCH= 11126
FILE ID= node15/247438-1168392513

PBS_JOBID= 3522782

Free space on /tmp= 66517 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247438-1168392513/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-247438-1168392513 -o ROOT/results/node15/solver-247438-1168392513 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247438-1168392513/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fd92d74890c9fc650983ee8569f494ff

RANDOM SEED= 256427053

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.276
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.276
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:        981656 kB
Buffers:         39924 kB
Cached:         207476 kB
SwapCached:       5900 kB
Active:         915356 kB
Inactive:       101488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        981656 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:           23740 kB
Writeback:           0 kB
Mapped:         788192 kB
Slab:            40416 kB
Committed_AS:  7178612 kB
PageTables:       4020 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= 66541 MiB



End job on node15 on Wed Jan 10 01:32:51 UTC 2007