Trace number 217679

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 331.292 334.105

DiagnosticValue
CHECKS1065451251
NODES88692

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-55-10-a3.xml
MD5SUM52e1a20218303240f1ed977654e67c18
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.16437
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables55
Number of constraints1080
Maximum constraint arity3
Maximum domain size56
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1080
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/217679-1168248413/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=55  nbDomainTypes=2  minDomainSize=55  maxDomainSize=56
0.42	       =>  wckTime=0.107  cpuTime=0.08  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
0.78	     nbConstraints=1080  nbConvertedConstraints=1035  nbConvertConstraintsChecks=6161  nbExtensionStructures=2
0.78	     nbSharedExtensionStructures=1033  nbConflictsStructures=2  nbSharedConflictsStructures=1033
0.78	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=57  nbEvaluationManagers=1
0.78	     nbSharedEvaluationManagers=44  maxDegree=45  maxArity=3
0.78	       =>  wckTime=0.471  cpuTime=0.32  mem=11M827
0.83	   
0.83	   solver IterativeSystematicSolver being built... 
1.00	       =>  wckTime=0.686  cpuTime=0.46  mem=14M916
43.04	   
43.04	   INFO : Stopping ESAC
43.04	   
43.04	   preprocessing
43.04	     nbConstraintChecks=140624615  nbValidityChecks=3171987  nbPropagations=16149  nbRevisions=169606
43.04	     nbUselessRevisions=118060  nbSingletonTests=343  nbEffectiveSingletonTests=13  nbESACBranches=109
43.04	     nbRemovedValues=357  detectedInconsistency=no
43.04	       =>  wckTime=42.037  cpuTime=41.63  mem=14M916
43.73	   
43.73	   search
43.73	     run=0  nbConstraintChecks=2233851  nbValidityChecks=75730  nbPropagations=17142  nbRevisions=178123
43.73	     nbUselessRevisions=124685  nbAssignments=25  nbFailedAssignments=8  nbBacktracks=13  nbVisitedNodes=40
43.73	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
43.73	       =>  wckTime=42.734  cpuTime=42.32  mem=15M924
44.32	   
44.32	   search
44.32	     run=1  nbConstraintChecks=4141780  nbValidityChecks=191815  nbPropagations=35604  nbRevisions=366264
44.32	     nbUselessRevisions=256425  nbAssignments=60  nbFailedAssignments=21  nbBacktracks=30  nbVisitedNodes=92
44.32	     nbRestartNogoods=1  mapSize=10  nbInferences=0  nbTooLargeKeys=0
44.32	       =>  wckTime=43.322  cpuTime=42.89  mem=15M924
47.62	   
47.62	   search
47.62	     run=2  nbConstraintChecks=15384882  nbValidityChecks=563669  nbPropagations=59487  nbRevisions=608225
47.62	     nbUselessRevisions=429897  nbAssignments=175  nbFailedAssignments=75  nbBacktracks=60  nbVisitedNodes=246
47.62	     nbRestartNogoods=6  mapSize=19  nbInferences=0  nbTooLargeKeys=0
47.62	       =>  wckTime=46.625  cpuTime=46.16  mem=15M924
49.48	   
49.48	   search
49.48	     run=3  nbConstraintChecks=21666827  nbValidityChecks=804377  nbPropagations=86863  nbRevisions=875235
49.48	     nbUselessRevisions=620851  nbAssignments=280  nbFailedAssignments=103  nbBacktracks=102  nbVisitedNodes=362
49.48	     nbRestartNogoods=14  mapSize=34  nbInferences=0  nbTooLargeKeys=0
49.48	       =>  wckTime=48.48  cpuTime=48.0  mem=15M924
51.41	   
51.41	   search
51.41	     run=4  nbConstraintChecks=28227712  nbValidityChecks=1062914  nbPropagations=117158  nbRevisions=1164144
51.41	     nbUselessRevisions=827868  nbAssignments=387  nbFailedAssignments=117  nbBacktracks=155  nbVisitedNodes=467
51.41	     nbRestartNogoods=22  mapSize=44  nbInferences=0  nbTooLargeKeys=0
51.41	       =>  wckTime=50.405  cpuTime=49.91  mem=15M924
52.82	   
52.82	   search
52.82	     run=5  nbConstraintChecks=33006610  nbValidityChecks=1237148  nbPropagations=150391  nbRevisions=1475135
52.82	     nbUselessRevisions=1050956  nbAssignments=519  nbFailedAssignments=135  nbBacktracks=238  nbVisitedNodes=603
52.82	     nbRestartNogoods=28  mapSize=58  nbInferences=0  nbTooLargeKeys=0
52.82	       =>  wckTime=51.821  cpuTime=51.32  mem=15M924
53.39	   
53.39	   search
53.39	     run=6  nbConstraintChecks=34824543  nbValidityChecks=1337911  nbPropagations=187321  nbRevisions=1821248
53.39	     nbUselessRevisions=1301200  nbAssignments=691  nbFailedAssignments=183  nbBacktracks=351  nbVisitedNodes=844
53.39	     nbRestartNogoods=33  mapSize=83  nbInferences=0  nbTooLargeKeys=0
53.39	       =>  wckTime=52.394  cpuTime=51.88  mem=15M924
54.39	   
54.39	   search
54.39	     run=7  nbConstraintChecks=38027366  nbValidityChecks=1503079  nbPropagations=229808  nbRevisions=2221350
54.39	     nbUselessRevisions=1592440  nbAssignments=957  nbFailedAssignments=261  nbBacktracks=523  nbVisitedNodes=1212
54.39	     nbRestartNogoods=44  mapSize=120  nbInferences=0  nbTooLargeKeys=0
54.39	       =>  wckTime=53.389  cpuTime=52.87  mem=15M924
56.04	   
56.04	   search
56.04	     run=8  nbConstraintChecks=43295797  nbValidityChecks=1819369  nbPropagations=283007  nbRevisions=2718210
56.04	     nbUselessRevisions=1956705  nbAssignments=1383  nbFailedAssignments=401  nbBacktracks=781  nbVisitedNodes=1832
56.04	     nbRestartNogoods=61  mapSize=210  nbInferences=0  nbTooLargeKeys=0
56.04	       =>  wckTime=55.04  cpuTime=54.49  mem=15M924
58.42	   
58.42	   search
58.42	     run=9  nbConstraintChecks=50883090  nbValidityChecks=2276495  nbPropagations=352065  nbRevisions=3360560
58.42	     nbUselessRevisions=2429667  nbAssignments=2007  nbFailedAssignments=602  nbBacktracks=1166  nbVisitedNodes=2729
58.42	     nbRestartNogoods=80  mapSize=346  nbInferences=0  nbTooLargeKeys=0
58.42	       =>  wckTime=57.422  cpuTime=56.84  mem=15M924
67.00	   
67.00	   search
67.00	     run=10  nbConstraintChecks=80094025  nbValidityChecks=3618964  nbPropagations=441571  nbRevisions=4150868
67.00	     nbUselessRevisions=3000717  nbAssignments=2872  nbFailedAssignments=862  nbBacktracks=1745  nbVisitedNodes=3990
67.00	     nbRestartNogoods=94  mapSize=546  nbInferences=0  nbTooLargeKeys=0
67.00	       =>  wckTime=65.995  cpuTime=65.33  mem=15M924
73.27	   
73.27	   search
73.27	     run=11  nbConstraintChecks=100731978  nbValidityChecks=4740399  nbPropagations=561365  nbRevisions=5134521
73.27	     nbUselessRevisions=3700712  nbAssignments=4100  nbFailedAssignments=1217  nbBacktracks=2610  nbVisitedNodes=5814
73.27	     nbRestartNogoods=98  mapSize=839  nbInferences=0  nbTooLargeKeys=0
73.27	       =>  wckTime=72.269  cpuTime=71.55  mem=16M899
76.64	   
76.64	   INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=16M899)
82.06	   
82.06	   search
82.06	     run=12  nbConstraintChecks=128891645  nbValidityChecks=6465679  nbPropagations=737607  nbRevisions=6479976
82.06	     nbUselessRevisions=4648430  nbAssignments=6071  nbFailedAssignments=1886  nbBacktracks=3909  nbVisitedNodes=8919
82.06	     nbRestartNogoods=107
82.06	       =>  wckTime=81.057  cpuTime=80.26  mem=16M899
95.70	   
95.70	   search
95.70	     run=13  nbConstraintChecks=171920892  nbValidityChecks=9490678  nbPropagations=1026720  nbRevisions=8533804
95.70	     nbUselessRevisions=6085062  nbAssignments=9439  nbFailedAssignments=3304  nbBacktracks=5855  nbVisitedNodes=14578
95.70	     nbRestartNogoods=116
95.70	       =>  wckTime=94.701  cpuTime=93.79  mem=16M899
114.97	   
114.97	   search
114.97	     run=14  nbConstraintChecks=231165378  nbValidityChecks=14386536  nbPropagations=1518815  nbRevisions=11926023
114.97	     nbUselessRevisions=8452266  nbAssignments=15150  nbFailedAssignments=6089  nbBacktracks=8775  nbVisitedNodes=24648
114.97	     nbRestartNogoods=122
114.97	       =>  wckTime=113.971  cpuTime=112.91  mem=16M899
145.51	   
145.51	   search
145.51	     run=15  nbConstraintChecks=327150438  nbValidityChecks=22866632  nbPropagations=2357473  nbRevisions=18262568
145.51	     nbUselessRevisions=12925561  nbAssignments=25410  nbFailedAssignments=11939  nbBacktracks=13153
145.51	     nbVisitedNodes=42655  nbRestartNogoods=133
145.51	       =>  wckTime=144.512  cpuTime=143.19  mem=16M899
192.69	   
192.69	   search
192.69	     run=16  nbConstraintChecks=475184863  nbValidityChecks=37034888  nbPropagations=3799483  nbRevisions=30281697
192.69	     nbUselessRevisions=21554779  nbAssignments=41991  nbFailedAssignments=21907  nbBacktracks=19724
192.69	     nbVisitedNodes=72569  nbRestartNogoods=149
192.69	       =>  wckTime=191.691  cpuTime=189.98  mem=16M899
264.49	   
264.49	   search
264.49	     run=17  nbConstraintChecks=703953729  nbValidityChecks=58399236  nbPropagations=6064110  nbRevisions=50169739
264.49	     nbUselessRevisions=35792475  nbAssignments=64629  nbFailedAssignments=34687  nbBacktracks=29579
264.49	     nbVisitedNodes=113181  nbRestartNogoods=153
264.49	       =>  wckTime=263.488  cpuTime=261.18  mem=16M899
334.08	   
334.08	   search
334.08	     run=18  nbConstraintChecks=924826636  nbValidityChecks=81172487  nbPropagations=9238623  nbRevisions=79282184
334.08	     nbUselessRevisions=56648408  nbAssignments=88692  nbFailedAssignments=48231  nbBacktracks=40043
334.08	     nbVisitedNodes=156989  nbRestartNogoods=161
334.08	       =>  wckTime=333.075  cpuTime=330.19  mem=16M899
334.08	   
334.08	   global
334.08	     nbConstraintChecks=1065451251  nbValidityChecks=84344474  nbPropagations=9254772  nbRevisions=79451790
334.08	     nbUselessRevisions=56766468  nbRestartNogoods=161  solvingWckTime=333.077  solvingCpuTime=330.2  expiredTime=no
334.08	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=330.73
334.08	       =>  wckTime=333.764  cpuTime=330.67  mem=16M899
334.08	   
334.08	s SATISFIABLE
334.08	v 0 2 14 21 29 32 45 49 54 55 2 14 21 29 32 45 49 54 55 12 19 27 30 43 47 52 53 7 15 18 31 35 40 41 8 11 24 28 33 34 3 16 20 25 26 13 17 22 23 4 9 10 5 6 1 
334.08	d NODES 88692
334.08	d CHECKS 1065451251
334.08	   
334.08	   totalWckTime=333.846  totalCpuTime=330.73

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/node18/watcher-217679-1168248413 -o ROOT/results/node18/solver-217679-1168248413 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217679-1168248413/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.85 1.95 1.98 4/86 20325
/proc/meminfo: memFree=1660432/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=18540 CPUtime=0
/proc/20324/stat : 20324 (runsolver) R 20322 20324 20257 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173235982 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20324/statm: 4635 279 244 17 0 2626 0

[startup+0.109891 s]
/proc/loadavg: 1.85 1.95 1.98 4/86 20325
/proc/meminfo: memFree=1660432/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=914988 CPUtime=0.09
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 3053 0 1 0 8 1 0 0 17 0 8 0 173235982 936947712 2799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228747 2799 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.517931 s]
/proc/loadavg: 1.85 1.95 1.98 4/86 20325
/proc/meminfo: memFree=1660432/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915328 CPUtime=0.49
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 6362 0 1 0 45 4 0 0 17 0 8 0 173235982 937295872 6101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152892627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228832 6101 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34101 s]
/proc/loadavg: 1.85 1.95 1.98 4/93 20332
/proc/meminfo: memFree=1636440/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=1.3
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 8737 0 1 0 120 10 0 0 20 0 8 0 173235982 937553920 8475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073919964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8475 2540 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 173235986 937553920 8475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.22
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 173235990 937553920 8475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8475 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) 915580

[startup+2.99417 s]
/proc/loadavg: 1.85 1.95 1.98 3/93 20332
/proc/meminfo: memFree=1636376/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=2.95
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 8752 0 1 0 284 11 0 0 25 0 8 0 173235982 937553920 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8488 2542 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 17 0 8 0 173235986 937553920 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.24
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 409 0 0 0 22 2 0 0 16 0 8 0 173235990 937553920 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8488 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) 915580

[startup+6.29048 s]
/proc/loadavg: 1.86 1.95 1.98 3/93 20332
/proc/meminfo: memFree=1636312/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=6.21
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 8762 0 1 0 610 11 0 0 25 0 8 0 173235982 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8495 2542 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 17 0 8 0 173235986 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.25
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 414 0 0 0 23 2 0 0 16 0 8 0 173235990 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915580

[startup+12.7731 s]
/proc/loadavg: 1.87 1.95 1.98 3/93 20332
/proc/meminfo: memFree=1636440/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=12.64
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 8762 0 1 0 1253 11 0 0 25 0 8 0 173235982 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8495 2542 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 173235986 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.25
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 414 0 0 0 23 2 0 0 16 0 8 0 173235990 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8495 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915580

[startup+25.6143 s]
/proc/loadavg: 1.90 1.96 1.98 3/93 20332
/proc/meminfo: memFree=1636504/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=25.37
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 8763 0 1 0 2526 11 0 0 25 0 8 0 173235982 937553920 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8496 2542 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 173235986 937553920 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.25
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 415 0 0 0 23 2 0 0 16 0 8 0 173235990 937553920 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915580

[startup+51.2268 s]
/proc/loadavg: 1.93 1.96 1.98 3/93 20332
/proc/meminfo: memFree=1636056/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=50.77
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 8889 0 1 0 5065 12 0 0 25 0 8 0 173235982 937553920 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8619 2543 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 173235986 937553920 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.26
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 425 0 0 0 24 2 0 0 16 0 8 0 173235990 937553920 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915580

[startup+102.442 s]
/proc/loadavg: 1.97 1.96 1.98 3/93 20332
/proc/meminfo: memFree=1634648/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=101.55
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 9253 0 1 0 10141 14 0 0 25 0 8 0 173235982 937553920 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8974 2543 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 173235986 937553920 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.31
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 443 0 0 0 28 3 0 0 17 0 8 0 173235990 937553920 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915580

[startup+162.501 s]
/proc/loadavg: 2.11 2.00 1.99 3/93 20332
/proc/meminfo: memFree=1634584/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=161.11
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 9260 0 1 0 16097 14 0 0 25 0 8 0 173235982 937553920 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8980 2543 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 173235986 937553920 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.31
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 444 0 0 0 28 3 0 0 16 0 8 0 173235990 937553920 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.11
Current children cumulated vsize (KiB) 915580

[startup+222.575 s]
/proc/loadavg: 2.04 2.00 1.99 3/93 20332
/proc/meminfo: memFree=1634648/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=220.7
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 9263 0 1 0 22055 15 0 0 25 0 8 0 173235982 937553920 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8983 2543 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 173235986 937553920 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.31
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 444 0 0 0 28 3 0 0 16 0 8 0 173235990 937553920 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.7
Current children cumulated vsize (KiB) 915580

[startup+282.629 s]
/proc/loadavg: 2.01 2.00 1.99 3/93 20332
/proc/meminfo: memFree=1634584/2055920 swapFree=4192812/4192956
[pid=20324] ppid=20322 vsize=915580 CPUtime=280.25
/proc/20324/stat : 20324 (java) R 20322 20324 20257 0 -1 0 9265 0 1 0 28010 15 0 0 25 0 8 0 173235982 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20324/statm: 228895 8985 2543 14 0 215365 0
[pid=20324/tid=20326] ppid=20322 vsize=915580 CPUtime=0.03
/proc/20324/task/20326/stat : 20326 (java) S 20322 20324 20257 0 -1 64 260 0 0 0 3 0 0 0 16 0 8 0 173235986 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20327] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20327/stat : 20327 (java) S 20322 20324 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173235987 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20328] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20328/stat : 20328 (java) S 20322 20324 20257 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173235987 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20329] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20329/stat : 20329 (java) S 20322 20324 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173235990 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20330] ppid=20322 vsize=915580 CPUtime=0.31
/proc/20324/task/20330/stat : 20330 (java) S 20322 20324 20257 0 -1 64 444 0 0 0 28 3 0 0 16 0 8 0 173235990 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20331] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20331/stat : 20331 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173235990 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20324/tid=20332] ppid=20322 vsize=915580 CPUtime=0
/proc/20324/task/20332/stat : 20332 (java) S 20322 20324 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173235990 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.25
Current children cumulated vsize (KiB) 915580

Child status: 0
Real time (s): 334.105
CPU time (s): 331.292
CPU user time (s): 331.124
CPU system time (s): 0.167974
CPU usage (%): 99.158
Max. virtual memory (cumulated for all children) (KiB): 915580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 331.124
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9359
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= 7924
involuntary context switches= 14567

runsolver used 0.467928 s user time and 1.03084 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Jan  8 09:26:53 UTC 2007


IDJOB= 217679
IDBENCH= 5164
FILE ID= node18/217679-1168248413

PBS_JOBID= 3481649

Free space on /tmp= 66301 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-55-10-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217679-1168248413/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-217679-1168248413 -o ROOT/results/node18/solver-217679-1168248413 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217679-1168248413/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  52e1a20218303240f1ed977654e67c18

RANDOM SEED= 476799380

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.231
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.231
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:       1660912 kB
Buffers:         68780 kB
Cached:         206892 kB
SwapCached:          0 kB
Active:         191576 kB
Inactive:       146732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1660912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2136 kB
Writeback:           0 kB
Mapped:          85036 kB
Slab:            41612 kB
Committed_AS:  5002836 kB
PageTables:       2040 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= 66301 MiB



End job on node18 on Mon Jan  8 09:32:27 UTC 2007