Trace number 221680

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 ESACUNSAT 236.257 238.287

DiagnosticValue
CHECKS1584006012
NODES1128656

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-51021_ext.xml
MD5SUMe8a60eefe387b2ae6ebd087b125352fe
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 benchmark60.2858
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/221680-1168260754/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.1  cpuTime=0.09  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=864  maxDegree=23
0.64	     maxArity=2
0.64	       =>  wckTime=0.325  cpuTime=0.23  mem=13M794
0.69	   
0.69	   solver IterativeSystematicSolver being built... 
0.85	       =>  wckTime=0.53  cpuTime=0.36  mem=15M99
0.90	   
0.90	   preprocessing
0.90	     nbConstraintChecks=48142  nbPropagations=628  nbRevisions=6408  nbUselessRevisions=5598  nbSingletonTests=31
0.90	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.90	       =>  wckTime=0.045  cpuTime=0.03  mem=15M99
0.92	   
0.92	   search
0.92	     run=0  nbConstraintChecks=31821  nbPropagations=1026  nbRevisions=12707  nbUselessRevisions=11121  nbAssignments=25
0.92	     nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=43  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.92	     nbTooLargeKeys=0
0.92	       =>  wckTime=0.068  cpuTime=0.05  mem=15M99
0.94	   
0.94	   search
0.94	     run=1  nbConstraintChecks=76823  nbPropagations=2577  nbRevisions=34636  nbUselessRevisions=30227  nbAssignments=59
0.94	     nbFailedAssignments=23  nbBacktracks=26  nbVisitedNodes=104  nbRestartNogoods=3  mapSize=25  nbInferences=0
0.94	     nbTooLargeKeys=0
0.94	       =>  wckTime=0.087  cpuTime=0.06  mem=15M99
0.96	   
0.96	   search
0.96	     run=2  nbConstraintChecks=137601  nbPropagations=4879  nbRevisions=69702  nbUselessRevisions=60598
0.96	     nbAssignments=110  nbFailedAssignments=48  nbBacktracks=48  nbVisitedNodes=196  nbRestartNogoods=5  mapSize=47
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.106  cpuTime=0.07  mem=15M99
0.98	   
0.98	   search
0.98	     run=3  nbConstraintChecks=229463  nbPropagations=8263  nbRevisions=124860  nbUselessRevisions=108434
0.98	     nbAssignments=183  nbFailedAssignments=82  nbBacktracks=82  nbVisitedNodes=328  nbRestartNogoods=6  mapSize=81
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.129  cpuTime=0.09  mem=15M99
1.01	   
1.01	   search
1.01	     run=4  nbConstraintChecks=369584  nbPropagations=13239  nbRevisions=210244  nbUselessRevisions=182558
1.01	     nbAssignments=288  nbFailedAssignments=132  nbBacktracks=132  nbVisitedNodes=520  nbRestartNogoods=10  mapSize=131
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.157  cpuTime=0.12  mem=15M99
1.05	   
1.05	   search
1.05	     run=5  nbConstraintChecks=578587  nbPropagations=20520  nbRevisions=340220  nbUselessRevisions=295215
1.05	     nbAssignments=440  nbFailedAssignments=203  nbBacktracks=207  nbVisitedNodes=796  nbRestartNogoods=14  mapSize=203
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.2  cpuTime=0.16  mem=15M99
1.11	   
1.11	   search
1.11	     run=6  nbConstraintChecks=872702  nbPropagations=31354  nbRevisions=537876  nbUselessRevisions=466440
1.11	     nbAssignments=678  nbFailedAssignments=323  nbBacktracks=320  nbVisitedNodes=1240  nbRestartNogoods=20  mapSize=313
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.257  cpuTime=0.21  mem=15M99
1.20	   
1.20	   search
1.20	     run=7  nbConstraintChecks=1316435  nbPropagations=47432  nbRevisions=837769  nbUselessRevisions=726468
1.20	     nbAssignments=1021  nbFailedAssignments=490  nbBacktracks=490  nbVisitedNodes=1879  nbRestartNogoods=22
1.20	     mapSize=480  nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.344  cpuTime=0.29  mem=15M99
1.34	   
1.34	   search
1.34	     run=8  nbConstraintChecks=1999459  nbPropagations=71422  nbRevisions=1293705  nbUselessRevisions=1121767
1.34	     nbAssignments=1550  nbFailedAssignments=758  nbBacktracks=746  nbVisitedNodes=2873  nbRestartNogoods=33
1.34	     mapSize=734  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.484  cpuTime=0.41  mem=15M99
1.47	   
1.47	   INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=15M99)
1.50	   
1.50	   search
1.50	     run=9  nbConstraintChecks=2986165  nbPropagations=106766  nbRevisions=1974608  nbUselessRevisions=1712365
1.50	     nbAssignments=2308  nbFailedAssignments=1127  nbBacktracks=1130  nbVisitedNodes=4285  nbRestartNogoods=43
1.50	       =>  wckTime=0.649  cpuTime=0.57  mem=15M99
1.76	   
1.76	   search
1.76	     run=10  nbConstraintChecks=4554977  nbPropagations=159690  nbRevisions=3007848  nbUselessRevisions=2608067
1.76	     nbAssignments=3477  nbFailedAssignments=1714  nbBacktracks=1706  nbVisitedNodes=6470  nbRestartNogoods=47
1.76	       =>  wckTime=0.908  cpuTime=0.81  mem=15M99
2.10	   
2.10	   search
2.10	     run=11  nbConstraintChecks=6782122  nbPropagations=238308  nbRevisions=4550778  nbUselessRevisions=3946810
2.10	     nbAssignments=5204  nbFailedAssignments=2562  nbBacktracks=2570  nbVisitedNodes=9658  nbRestartNogoods=61
2.10	       =>  wckTime=1.252  cpuTime=1.16  mem=15M99
2.65	   
2.65	   search
2.65	     run=12  nbConstraintChecks=10432156  nbPropagations=356766  nbRevisions=6898577  nbUselessRevisions=5983481
2.65	     nbAssignments=7795  nbFailedAssignments=3850  nbBacktracks=3868  nbVisitedNodes=14513  nbRestartNogoods=71
2.65	       =>  wckTime=1.798  cpuTime=1.7  mem=15M99
3.43	   
3.43	   search
3.43	     run=13  nbConstraintChecks=15512578  nbPropagations=532936  nbRevisions=10398381  nbUselessRevisions=9020146
3.43	     nbAssignments=11628  nbFailedAssignments=5731  nbBacktracks=5814  nbVisitedNodes=21663  nbRestartNogoods=83
3.43	       =>  wckTime=2.578  cpuTime=2.47  mem=15M99
4.60	   
4.60	   search
4.60	     run=14  nbConstraintChecks=23190831  nbPropagations=795445  nbRevisions=15625112  nbUselessRevisions=13555493
4.60	     nbAssignments=17340  nbFailedAssignments=8518  nbBacktracks=8734  nbVisitedNodes=32320  nbRestartNogoods=100
4.60	       =>  wckTime=3.746  cpuTime=3.63  mem=15M99
6.39	   
6.39	   search
6.39	     run=15  nbConstraintChecks=34961020  nbPropagations=1189712  nbRevisions=23486380  nbUselessRevisions=20373921
6.39	     nbAssignments=26059  nbFailedAssignments=12854  nbBacktracks=13112  nbVisitedNodes=48627  nbRestartNogoods=110
6.39	       =>  wckTime=5.542  cpuTime=5.41  mem=15M99
9.07	   
9.07	   search
9.07	     run=16  nbConstraintChecks=52398442  nbPropagations=1779957  nbRevisions=35268902  nbUselessRevisions=30594327
9.07	     nbAssignments=39015  nbFailedAssignments=19238  nbBacktracks=19681  nbVisitedNodes=72848  nbRestartNogoods=118
9.07	       =>  wckTime=8.216  cpuTime=8.06  mem=15M99
13.13	   
13.13	   search
13.13	     run=17  nbConstraintChecks=79066735  nbPropagations=2667590  nbRevisions=53030412  nbUselessRevisions=46002357
13.13	     nbAssignments=58621  nbFailedAssignments=28986  nbBacktracks=29534  nbVisitedNodes=109549  nbRestartNogoods=129
13.13	       =>  wckTime=12.281  cpuTime=12.09  mem=15M99
19.07	   
19.07	   search
19.07	     run=18  nbConstraintChecks=118125825  nbPropagations=3993751  nbRevisions=79588519  nbUselessRevisions=69045952
19.07	     nbAssignments=87846  nbFailedAssignments=43428  nbBacktracks=44312  nbVisitedNodes=164060  nbRestartNogoods=142
19.07	       =>  wckTime=18.221  cpuTime=17.98  mem=15M99
28.30	   
28.30	   search
28.30	     run=19  nbConstraintChecks=179278782  nbPropagations=5995429  nbRevisions=119841050  nbUselessRevisions=103981387
28.30	     nbAssignments=132286  nbFailedAssignments=65694  nbBacktracks=66481  nbVisitedNodes=247203  nbRestartNogoods=155
28.30	       =>  wckTime=27.453  cpuTime=27.13  mem=15M99
41.81	   
41.81	   search
41.81	     run=20  nbConstraintChecks=268297559  nbPropagations=8987928  nbRevisions=180022037  nbUselessRevisions=156220228
41.81	     nbAssignments=198067  nbFailedAssignments=98218  nbBacktracks=99733  nbVisitedNodes=370070  nbRestartNogoods=170
41.81	       =>  wckTime=40.957  cpuTime=40.53  mem=15M99
62.68	   
62.73	   search
62.73	     run=21  nbConstraintChecks=407145286  nbPropagations=13502135  nbRevisions=271043340  nbUselessRevisions=235223386
62.73	     nbAssignments=297973  nbFailedAssignments=148241  nbBacktracks=149611  nbVisitedNodes=557107  nbRestartNogoods=185
62.73	       =>  wckTime=61.83  cpuTime=61.22  mem=15M99
93.78	   
93.78	   search
93.78	     run=22  nbConstraintChecks=614025620  nbPropagations=20286564  nbRevisions=408001502  nbUselessRevisions=354104419
93.78	     nbAssignments=447010  nbFailedAssignments=222455  nbBacktracks=224430  nbVisitedNodes=835718  nbRestartNogoods=196
93.78	       =>  wckTime=92.929  cpuTime=92.07  mem=15M99
140.96	   
140.96	   search
140.96	     run=23  nbConstraintChecks=929890704  nbPropagations=30503844  nbRevisions=614950261  nbUselessRevisions=533763504
140.96	     nbAssignments=671415  nbFailedAssignments=334629  nbBacktracks=336657  nbVisitedNodes=1255621  nbRestartNogoods=204
140.96	       =>  wckTime=140.112  cpuTime=138.85  mem=15M99
212.41	   
212.41	   search
212.41	     run=24  nbConstraintChecks=1409600724  nbPropagations=45898064  nbRevisions=928041037  nbUselessRevisions=805631891
212.41	     nbAssignments=1008157  nbFailedAssignments=503027  nbBacktracks=504998  nbVisitedNodes=1886045
212.41	     nbRestartNogoods=217
212.41	       =>  wckTime=211.559  cpuTime=209.71  mem=15M99
238.25	   
238.25	   search
238.25	     run=25  nbConstraintChecks=1583957870  nbPropagations=63155663  nbRevisions=1279631368
238.25	     nbUselessRevisions=1110968719  nbAssignments=1128656  nbFailedAssignments=563541  nbBacktracks=564984
238.25	     nbVisitedNodes=2111707  nbRestartNogoods=222
238.25	       =>  wckTime=237.4  cpuTime=235.33  mem=15M99
238.25	   
238.25	   global
238.25	     nbConstraintChecks=1584006012  nbPropagations=63156291  nbRevisions=1279637776  nbUselessRevisions=1110974317
238.25	     nbRestartNogoods=222  solvingWckTime=237.402  solvingCpuTime=235.33  expiredTime=no  totalExploration=yes
238.25	     nbFoundSolutions=0  globalCpuTime=235.74
238.25	       =>  wckTime=237.935  cpuTime=235.69  mem=15M99
238.26	   
238.26	s UNSATISFIABLE
238.26	d NODES 1128656
238.26	d CHECKS 1584006012
238.26	   
238.26	   totalWckTime=238.018  totalCpuTime=235.74

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/node6/watcher-221680-1168260754 -o ROOT/results/node6/solver-221680-1168260754 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221680-1168260754/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.05 1.59 1.36 4/86 20360
/proc/meminfo: memFree=1667240/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=9748 CPUtime=0
/proc/20359/stat : 20359 (java) D 20357 20359 19919 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 174470805 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20359/statm: 2437 412 333 14 0 1140 0

[startup+0.104162 s]
/proc/loadavg: 2.05 1.59 1.36 4/86 20360
/proc/meminfo: memFree=1667240/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=914988 CPUtime=0.08
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 2967 0 1 0 7 1 0 0 17 0 8 0 174470805 936947712 2713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155608255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228747 2713 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512208 s]
/proc/loadavg: 2.05 1.59 1.36 4/86 20360
/proc/meminfo: memFree=1667240/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915328 CPUtime=0.49
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 6849 0 1 0 45 4 0 0 18 0 8 0 174470805 937295872 6588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228832 6588 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3383 s]
/proc/loadavg: 2.05 1.59 1.36 4/93 20367
/proc/meminfo: memFree=1643312/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=1.29
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8715 0 1 0 124 5 0 0 24 0 8 0 174470805 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8453 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.23
/proc/20359/task/20365/stat : 20365 (java) R 20357 20359 19919 0 -1 64 381 0 0 0 23 0 0 0 16 0 8 0 174470813 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153329027 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452

[startup+2.99149 s]
/proc/loadavg: 2.05 1.59 1.36 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=2.93
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8746 0 1 0 288 5 0 0 25 0 8 0 174470805 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8483 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 174470809 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 389 0 0 0 24 0 0 0 15 0 8 0 174470813 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452

[startup+6.27988 s]
/proc/loadavg: 2.05 1.59 1.36 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=6.19
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8751 0 1 0 614 5 0 0 25 0 8 0 174470805 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8487 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 389 0 0 0 24 0 0 0 15 0 8 0 174470813 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452

[startup+12.7666 s]
/proc/loadavg: 2.04 1.61 1.37 3/93 20367
/proc/meminfo: memFree=1642928/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=12.63
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8759 0 1 0 1258 5 0 0 25 0 8 0 174470805 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8494 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915452

[startup+25.6041 s]
/proc/loadavg: 2.03 1.62 1.37 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=25.36
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8764 0 1 0 2530 6 0 0 25 0 8 0 174470805 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8499 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915452

[startup+51.2121 s]
/proc/loadavg: 2.02 1.65 1.39 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=50.75
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8769 0 1 0 5069 6 0 0 25 0 8 0 174470805 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8504 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915452

[startup+102.422 s]
/proc/loadavg: 2.01 1.70 1.42 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=101.53
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8774 0 1 0 10147 6 0 0 25 0 8 0 174470805 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8509 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915452

[startup+162.47 s]
/proc/loadavg: 2.00 1.75 1.45 3/93 20367
/proc/meminfo: memFree=1642928/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=161.08
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8776 0 1 0 16101 7 0 0 25 0 8 0 174470805 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8511 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.08
Current children cumulated vsize (KiB) 915452

[startup+222.525 s]
/proc/loadavg: 2.00 1.79 1.48 3/93 20367
/proc/meminfo: memFree=1642928/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=220.63
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8779 0 1 0 22056 7 0 0 25 0 8 0 174470805 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8514 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 238.287
CPU time (s): 236.257
CPU user time (s): 236.174
CPU system time (s): 0.082987
CPU usage (%): 99.148
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 236.174
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8872
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= 5929
involuntary context switches= 13509

runsolver used 0.32495 s user time and 0.744886 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Mon Jan  8 12:52:34 UTC 2007


IDJOB= 221680
IDBENCH= 5463
FILE ID= node6/221680-1168260754

PBS_JOBID= 3482442

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e8a60eefe387b2ae6ebd087b125352fe

RANDOM SEED= 173910537

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1667720 kB
Buffers:         58204 kB
Cached:         205140 kB
SwapCached:       2944 kB
Active:         193464 kB
Inactive:       135048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1667720 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            1972 kB
Writeback:           0 kB
Mapped:          77848 kB
Slab:            44464 kB
Committed_AS:  5411420 kB
PageTables:       2404 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= 66547 MiB



End job on node6 on Mon Jan  8 12:56:32 UTC 2007