Trace number 221887

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 ACUNSAT 243.456 244.667

DiagnosticValue
CHECKS1637246566
NODES1166907

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-52021_ext.xml
MD5SUM71cffa533269446990ab132413efce2d
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark55.4766
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/221887-1168080130/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.099  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.64	     nbConstraints=276  nbRelationTypes=276  nbExtensionStructures=276  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=276  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=862  maxDegree=23
0.64	     maxArity=2
0.64	       =>  wckTime=0.316  cpuTime=0.22  mem=13M794
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.83	       =>  wckTime=0.511  cpuTime=0.36  mem=14M41
0.84	   
0.84	   preprocessing
0.84	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.84	     detectedInconsistency=no
0.84	       =>  wckTime=0.0030  cpuTime=0.0  mem=14M41
0.89	   
0.89	   search
0.89	     run=0  nbConstraintChecks=35790  nbPropagations=470  nbRevisions=7374  nbUselessRevisions=6441  nbAssignments=29
0.89	     nbFailedAssignments=13  nbBacktracks=11  nbVisitedNodes=49  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.89	     nbTooLargeKeys=0
0.89	       =>  wckTime=0.053  cpuTime=0.03  mem=15M65
0.91	   
0.91	   search
0.91	     run=1  nbConstraintChecks=76907  nbPropagations=1474  nbRevisions=23503  nbUselessRevisions=20541  nbAssignments=64
0.91	     nbFailedAssignments=26  nbBacktracks=26  nbVisitedNodes=109  nbRestartNogoods=3  mapSize=24  nbInferences=0
0.91	     nbTooLargeKeys=0
0.91	       =>  wckTime=0.072  cpuTime=0.04  mem=15M65
0.93	   
0.93	   search
0.93	     run=2  nbConstraintChecks=147229  nbPropagations=3272  nbRevisions=54297  nbUselessRevisions=47276
0.94	     nbAssignments=115  nbFailedAssignments=51  nbBacktracks=48  nbVisitedNodes=203  nbRestartNogoods=9  mapSize=46
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.098  cpuTime=0.06  mem=15M65
0.96	   
0.96	   search
0.96	     run=3  nbConstraintChecks=221646  nbPropagations=6094  nbRevisions=102546  nbUselessRevisions=89120
0.96	     nbAssignments=186  nbFailedAssignments=82  nbBacktracks=81  nbVisitedNodes=331  nbRestartNogoods=13  mapSize=79
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.122  cpuTime=0.08  mem=15M65
0.99	   
0.99	   search
0.99	     run=4  nbConstraintChecks=380025  nbPropagations=10636  nbRevisions=183515  nbUselessRevisions=158992
0.99	     nbAssignments=297  nbFailedAssignments=139  nbBacktracks=131  nbVisitedNodes=538  nbRestartNogoods=20  mapSize=129
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.154  cpuTime=0.11  mem=15M65
1.04	   
1.04	   search
1.04	     run=5  nbConstraintChecks=562710  nbPropagations=17401  nbRevisions=306962  nbUselessRevisions=265781
1.04	     nbAssignments=447  nbFailedAssignments=208  nbBacktracks=207  nbVisitedNodes=816  nbRestartNogoods=25  mapSize=203
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.198  cpuTime=0.15  mem=15M65
1.10	   
1.10	   search
1.10	     run=6  nbConstraintChecks=839270  nbPropagations=27421  nbRevisions=492585  nbUselessRevisions=426376
1.10	     nbAssignments=669  nbFailedAssignments=313  nbBacktracks=320  nbVisitedNodes=1221  nbRestartNogoods=31  mapSize=311
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.258  cpuTime=0.21  mem=15M65
1.20	   
1.20	   search
1.20	     run=7  nbConstraintChecks=1335672  nbPropagations=42963  nbRevisions=789007  nbUselessRevisions=682866
1.20	     nbAssignments=1025  nbFailedAssignments=494  nbBacktracks=490  nbVisitedNodes=1894  nbRestartNogoods=35
1.20	     mapSize=479  nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.362  cpuTime=0.3  mem=15M65
1.34	   
1.34	   search
1.34	     run=8  nbConstraintChecks=1998026  nbPropagations=66109  nbRevisions=1235581  nbUselessRevisions=1069780
1.34	     nbAssignments=1522  nbFailedAssignments=730  nbBacktracks=747  nbVisitedNodes=2813  nbRestartNogoods=46
1.34	     mapSize=727  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.505  cpuTime=0.43  mem=15M65
1.49	   
1.49	   INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=15M65)
1.53	   
1.53	   search
1.53	     run=9  nbConstraintChecks=2988151  nbPropagations=100668  nbRevisions=1908139  nbUselessRevisions=1652679
1.53	     nbAssignments=2282  nbFailedAssignments=1101  nbBacktracks=1132  nbVisitedNodes=4236  nbRestartNogoods=53
1.53	       =>  wckTime=0.689  cpuTime=0.61  mem=15M65
1.77	   
1.77	   search
1.77	     run=10  nbConstraintChecks=4360964  nbPropagations=151449  nbRevisions=2897223  nbUselessRevisions=2510252
1.77	     nbAssignments=3396  nbFailedAssignments=1634  nbBacktracks=1708  nbVisitedNodes=6294  nbRestartNogoods=63
1.77	       =>  wckTime=0.93  cpuTime=0.85  mem=15M65
2.10	   
2.10	   search
2.10	     run=11  nbConstraintChecks=6543290  nbPropagations=227237  nbRevisions=4380453  nbUselessRevisions=3796809
2.10	     nbAssignments=5082  nbFailedAssignments=2451  nbBacktracks=2572  nbVisitedNodes=9427  nbRestartNogoods=71
2.10	       =>  wckTime=1.266  cpuTime=1.18  mem=15M65
2.62	   
2.62	   search
2.62	     run=12  nbConstraintChecks=9944631  nbPropagations=341241  nbRevisions=6623980  nbUselessRevisions=5742167
2.62	     nbAssignments=7650  nbFailedAssignments=3717  nbBacktracks=3869  nbVisitedNodes=14212  nbRestartNogoods=82
2.62	       =>  wckTime=1.786  cpuTime=1.7  mem=15M65
3.35	   
3.35	   search
3.35	     run=13  nbConstraintChecks=14601160  nbPropagations=510059  nbRevisions=9940826  nbUselessRevisions=8619925
3.35	     nbAssignments=11357  nbFailedAssignments=5472  nbBacktracks=5816  nbVisitedNodes=21104  nbRestartNogoods=95
3.35	       =>  wckTime=2.512  cpuTime=2.42  mem=15M65
4.54	   
4.54	   search
4.54	     run=14  nbConstraintChecks=22411447  nbPropagations=766406  nbRevisions=15007761  nbUselessRevisions=13015220
4.54	     nbAssignments=17121  nbFailedAssignments=8312  nbBacktracks=8735  nbVisitedNodes=31886  nbRestartNogoods=111
4.54	       =>  wckTime=3.701  cpuTime=3.6  mem=15M65
6.30	   
6.30	   search
6.30	     run=15  nbConstraintChecks=33983995  nbPropagations=1152836  nbRevisions=22681090  nbUselessRevisions=19672559
6.30	     nbAssignments=25759  nbFailedAssignments=12568  nbBacktracks=13113  nbVisitedNodes=48026  nbRestartNogoods=124
6.30	       =>  wckTime=5.461  cpuTime=5.35  mem=15M65
8.97	   
8.97	   search
8.97	     run=16  nbConstraintChecks=51683802  nbPropagations=1736253  nbRevisions=34306727  nbUselessRevisions=29758771
8.97	     nbAssignments=38807  nbFailedAssignments=19043  nbBacktracks=19681  nbVisitedNodes=72411  nbRestartNogoods=135
8.97	       =>  wckTime=8.133  cpuTime=8.01  mem=15M65
12.78	   
12.78	   search
12.78	     run=17  nbConstraintChecks=76547195  nbPropagations=2604388  nbRevisions=51589079  nbUselessRevisions=44755381
12.78	     nbAssignments=58025  nbFailedAssignments=28403  nbBacktracks=29534  nbVisitedNodes=108203  nbRestartNogoods=143
12.78	       =>  wckTime=11.941  cpuTime=11.8  mem=15M65
18.69	   
18.69	   search
18.69	     run=18  nbConstraintChecks=115903411  nbPropagations=3912353  nbRevisions=77669417  nbUselessRevisions=67382496
18.69	     nbAssignments=87189  nbFailedAssignments=42782  nbBacktracks=44312  nbVisitedNodes=162602  nbRestartNogoods=156
18.69	       =>  wckTime=17.85  cpuTime=17.68  mem=15M65
27.80	   
27.80	   search
27.80	     run=19  nbConstraintChecks=176593097  nbPropagations=5890165  nbRevisions=117243124  nbUselessRevisions=101716906
27.80	     nbAssignments=131168  nbFailedAssignments=64588  nbBacktracks=66480  nbVisitedNodes=244848  nbRestartNogoods=177
27.80	       =>  wckTime=26.964  cpuTime=26.75  mem=15M65
41.26	   
41.26	   search
41.26	     run=20  nbConstraintChecks=266181113  nbPropagations=8863773  nbRevisions=176827856  nbUselessRevisions=153411242
41.26	     nbAssignments=197398  nbFailedAssignments=97560  nbBacktracks=99733  nbVisitedNodes=368591  nbRestartNogoods=200
41.26	       =>  wckTime=40.422  cpuTime=40.14  mem=15M65
61.48	   
61.48	   search
61.48	     run=21  nbConstraintChecks=400462047  nbPropagations=13326770  nbRevisions=266514443  nbUselessRevisions=231257131
61.48	     nbAssignments=295776  nbFailedAssignments=146056  nbBacktracks=149611  nbVisitedNodes=552211  nbRestartNogoods=220
61.48	       =>  wckTime=60.646  cpuTime=60.27  mem=15M65
92.46	   
92.46	   search
92.46	     run=22  nbConstraintChecks=607569378  nbPropagations=20065194  nbRevisions=402392336  nbUselessRevisions=349229306
92.46	     nbAssignments=444663  nbFailedAssignments=220121  nbBacktracks=224429  nbVisitedNodes=830930  nbRestartNogoods=234
92.46	       =>  wckTime=91.62  cpuTime=91.11  mem=15M65
138.91	   
138.91	   search
138.91	     run=23  nbConstraintChecks=919922055  nbPropagations=30212793  nbRevisions=607575346  nbUselessRevisions=527380004
138.91	     nbAssignments=668103  nbFailedAssignments=331330  nbBacktracks=336656  nbVisitedNodes=1248765  nbRestartNogoods=246
138.91	       =>  wckTime=138.075  cpuTime=137.34  mem=15M65
210.17	   
210.17	   search
210.17	     run=24  nbConstraintChecks=1402293237  nbPropagations=45544948  nbRevisions=919078315  nbUselessRevisions=797896083
210.17	     nbAssignments=1005664  nbFailedAssignments=500545  nbBacktracks=504997  nbVisitedNodes=1880753
210.17	     nbRestartNogoods=264
210.17	       =>  wckTime=209.33  cpuTime=208.26  mem=15M65
244.61	   
244.61	   search
244.61	     run=25  nbConstraintChecks=1637246566  nbPropagations=63373347  nbRevisions=1282162962
244.61	     nbUselessRevisions=1113243317  nbAssignments=1166907  nbFailedAssignments=581384  nbBacktracks=585402
244.61	     nbVisitedNodes=2182621  nbRestartNogoods=273
244.61	       =>  wckTime=243.775  cpuTime=242.55  mem=15M65
244.61	   
244.61	   global
244.61	     nbConstraintChecks=1637246566  nbPropagations=63373371  nbRevisions=1282162962  nbUselessRevisions=1113243317
244.61	     nbRestartNogoods=273  solvingWckTime=243.778  solvingCpuTime=242.55  expiredTime=no  totalExploration=yes
244.61	     nbFoundSolutions=0  globalCpuTime=242.97
244.61	       =>  wckTime=244.292  cpuTime=242.91  mem=15M65
244.62	   
244.62	s UNSATISFIABLE
244.62	d NODES 1166907
244.62	d CHECKS 1637246566
244.62	   
244.62	   totalWckTime=244.373  totalCpuTime=242.98

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node58/watcher-221887-1168080130 -o ROOT/results/node58/solver-221887-1168080130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221887-1168080130/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.97 2.01 1.83 4/80 29130
/proc/meminfo: memFree=1404376/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=18540 CPUtime=0
/proc/29129/stat : 29129 (runsolver) R 29127 29129 28762 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156410939 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29129/statm: 4635 279 244 17 0 2626 0

[startup+0.102934 s]
/proc/loadavg: 1.97 2.01 1.83 4/80 29130
/proc/meminfo: memFree=1404376/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=912908 CPUtime=0.07
/proc/29129/stat : 29129 (java) S 29127 29129 28762 0 -1 0 2809 0 1 0 6 1 0 0 17 0 8 0 156410939 934817792 2555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228227 2555 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908

[startup+0.510967 s]
/proc/loadavg: 1.97 2.01 1.83 4/80 29130
/proc/meminfo: memFree=1404376/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915328 CPUtime=0.48
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 6819 0 1 0 44 4 0 0 18 0 8 0 156410939 937295872 6558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228832 6558 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33404 s]
/proc/loadavg: 1.97 2.01 1.83 3/87 29137
/proc/meminfo: memFree=1380832/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=1.3
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8605 0 1 0 124 6 0 0 24 0 8 0 156410939 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8343 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.21
/proc/29129/task/29135/stat : 29135 (java) R 29127 29129 28762 0 -1 64 378 0 0 0 20 1 0 0 16 0 8 0 156410948 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153366013 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8343 18446744073709551615 134512640 134570532 4294956480 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) 915452

[startup+2.98717 s]
/proc/loadavg: 1.97 2.01 1.83 3/87 29137
/proc/meminfo: memFree=1380512/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=2.94
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8638 0 1 0 288 6 0 0 25 0 8 0 156410939 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8375 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 156410948 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452

[startup+6.27045 s]
/proc/loadavg: 1.97 2.01 1.83 3/87 29137
/proc/meminfo: memFree=1380512/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=6.2
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8645 0 1 0 614 6 0 0 25 0 8 0 156410939 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8382 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452

[startup+12.758 s]
/proc/loadavg: 1.97 2.01 1.83 3/87 29137
/proc/meminfo: memFree=1380456/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=12.66
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8651 0 1 0 1260 6 0 0 25 0 8 0 156410939 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8387 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452

[startup+25.5931 s]
/proc/loadavg: 1.98 2.00 1.83 3/87 29137
/proc/meminfo: memFree=1380520/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=25.43
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8656 0 1 0 2537 6 0 0 25 0 8 0 156410939 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8392 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915452

[startup+51.1973 s]
/proc/loadavg: 1.98 2.00 1.83 3/87 29137
/proc/meminfo: memFree=1380520/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=50.92
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8661 0 1 0 5085 7 0 0 25 0 8 0 156410939 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8397 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915452

[startup+102.401 s]
/proc/loadavg: 1.99 2.00 1.84 3/87 29137
/proc/meminfo: memFree=1380456/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=101.89
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8666 0 1 0 10182 7 0 0 25 0 8 0 156410939 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8402 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915452

[startup+162.445 s]
/proc/loadavg: 1.99 2.00 1.84 3/87 29137
/proc/meminfo: memFree=1380392/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=161.65
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8668 0 1 0 16158 7 0 0 25 0 8 0 156410939 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8404 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 915452

[startup+222.492 s]
/proc/loadavg: 1.99 2.00 1.85 3/87 29137
/proc/meminfo: memFree=1380392/2055920 swapFree=4192812/4192956
[pid=29129] ppid=29127 vsize=915452 CPUtime=221.42
/proc/29129/stat : 29129 (java) R 29127 29129 28762 0 -1 0 8671 0 1 0 22135 7 0 0 25 0 8 0 156410939 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29129/statm: 228863 8407 2513 14 0 215333 0
[pid=29129/tid=29131] ppid=29127 vsize=915452 CPUtime=0.03
/proc/29129/task/29131/stat : 29131 (java) S 29127 29129 28762 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156410944 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29132] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29132/stat : 29132 (java) S 29127 29129 28762 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156410945 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29133] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29133/stat : 29133 (java) S 29127 29129 28762 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156410945 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29134] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29134/stat : 29134 (java) S 29127 29129 28762 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156410948 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29135] ppid=29127 vsize=915452 CPUtime=0.23
/proc/29129/task/29135/stat : 29135 (java) S 29127 29129 28762 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156410948 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29136] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29136/stat : 29136 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156410948 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29129/tid=29137] ppid=29127 vsize=915452 CPUtime=0
/proc/29129/task/29137/stat : 29137 (java) S 29127 29129 28762 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156410948 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 244.667
CPU time (s): 243.456
CPU user time (s): 243.375
CPU system time (s): 0.080987
CPU usage (%): 99.505
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.375
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8763
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= 6038
involuntary context switches= 11909

runsolver used 0.270958 s user time and 0.824874 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Sat Jan  6 10:42:10 UTC 2007


IDJOB= 221887
IDBENCH= 5471
FILE ID= node58/221887-1168080130

PBS_JOBID= 3476126

Free space on /tmp= 66532 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221887-1168080130/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-221887-1168080130 -o ROOT/results/node58/solver-221887-1168080130 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221887-1168080130/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  71cffa533269446990ab132413efce2d

RANDOM SEED= 829143381

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.223
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.223
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:       1404856 kB
Buffers:         22472 kB
Cached:         287132 kB
SwapCached:          0 kB
Active:         334744 kB
Inactive:       249956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1404856 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1888 kB
Writeback:           0 kB
Mapped:         295364 kB
Slab:            51336 kB
Committed_AS:  3030728 kB
PageTables:       2268 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= 66532 MiB



End job on node58 on Sat Jan  6 10:46:17 UTC 2007