Trace number 221831

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 245.325 247.633

DiagnosticValue
CHECKS1644791796
NODES1161685

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-57021_ext.xml
MD5SUM656731a78971893f85baaac0920e1a7e
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 benchmark53.8058
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/221831-1168080094/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.41	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.63	     nbConstraints=276  nbRelationTypes=276  nbExtensionStructures=276  nbSharedExtensionStructures=0
0.63	     nbConflictsStructures=276  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=888  maxDegree=23
0.63	     maxArity=2
0.63	       =>  wckTime=0.317  cpuTime=0.24  mem=13M794
0.67	   
0.67	   solver IterativeSystematicSolver being built... 
0.83	       =>  wckTime=0.514  cpuTime=0.36  mem=14M40
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=14M40
0.89	   
0.89	   search
0.89	     run=0  nbConstraintChecks=30992  nbPropagations=418  nbRevisions=5965  nbUselessRevisions=5175  nbAssignments=24
0.89	     nbFailedAssignments=8  nbBacktracks=11  nbVisitedNodes=41  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.89	     nbTooLargeKeys=0
0.89	       =>  wckTime=0.054  cpuTime=0.03  mem=15M64
0.91	   
0.91	   search
0.91	     run=1  nbConstraintChecks=74348  nbPropagations=1368  nbRevisions=20922  nbUselessRevisions=18099  nbAssignments=57
0.91	     nbFailedAssignments=21  nbBacktracks=27  nbVisitedNodes=99  nbRestartNogoods=3  mapSize=27  nbInferences=0
0.91	     nbTooLargeKeys=0
0.91	       =>  wckTime=0.075  cpuTime=0.04  mem=15M64
0.93	   
0.93	   search
0.93	     run=2  nbConstraintChecks=135326  nbPropagations=3057  nbRevisions=49334  nbUselessRevisions=42622
0.93	     nbAssignments=108  nbFailedAssignments=46  nbBacktracks=49  nbVisitedNodes=192  nbRestartNogoods=5  mapSize=48
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.102  cpuTime=0.07  mem=15M64
0.96	   
0.96	   search
0.96	     run=3  nbConstraintChecks=214457  nbPropagations=5729  nbRevisions=95551  nbUselessRevisions=82567
0.96	     nbAssignments=176  nbFailedAssignments=75  nbBacktracks=82  nbVisitedNodes=310  nbRestartNogoods=8  mapSize=76
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.125  cpuTime=0.09  mem=15M64
0.99	   
0.99	   search
0.99	     run=4  nbConstraintChecks=362569  nbPropagations=10096  nbRevisions=174868  nbUselessRevisions=151132
0.99	     nbAssignments=287  nbFailedAssignments=131  nbBacktracks=133  nbVisitedNodes=516  nbRestartNogoods=14  mapSize=127
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.157  cpuTime=0.11  mem=15M64
1.04	   
1.04	   search
1.04	     run=5  nbConstraintChecks=563281  nbPropagations=16775  nbRevisions=298089  nbUselessRevisions=257562
1.04	     nbAssignments=442  nbFailedAssignments=206  nbBacktracks=209  nbVisitedNodes=799  nbRestartNogoods=17  mapSize=200
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.202  cpuTime=0.16  mem=15M64
1.10	   
1.10	   search
1.10	     run=6  nbConstraintChecks=868155  nbPropagations=26922  nbRevisions=488339  nbUselessRevisions=421982
1.10	     nbAssignments=672  nbFailedAssignments=317  nbBacktracks=322  nbVisitedNodes=1226  nbRestartNogoods=20  mapSize=310
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.265  cpuTime=0.22  mem=15M64
1.19	   
1.19	   search
1.19	     run=7  nbConstraintChecks=1329794  nbPropagations=42450  nbRevisions=783306  nbUselessRevisions=677443
1.19	     nbAssignments=1022  nbFailedAssignments=491  nbBacktracks=492  nbVisitedNodes=1883  nbRestartNogoods=25
1.19	     mapSize=478  nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.362  cpuTime=0.3  mem=15M64
1.34	   
1.34	   search
1.34	     run=8  nbConstraintChecks=1998583  nbPropagations=65492  nbRevisions=1226960  nbUselessRevisions=1061338
1.34	     nbAssignments=1542  nbFailedAssignments=749  nbBacktracks=750  nbVisitedNodes=2845  nbRestartNogoods=35
1.34	     mapSize=728  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.508  cpuTime=0.43  mem=15M64
1.48	   
1.48	   INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=15M64)
1.52	   
1.52	   search
1.52	     run=9  nbConstraintChecks=2970408  nbPropagations=99698  nbRevisions=1890774  nbUselessRevisions=1636318
1.52	     nbAssignments=2303  nbFailedAssignments=1119  nbBacktracks=1134  nbVisitedNodes=4259  nbRestartNogoods=44
1.52	       =>  wckTime=0.688  cpuTime=0.6  mem=15M64
1.78	   
1.78	   search
1.78	     run=10  nbConstraintChecks=4548351  nbPropagations=151294  nbRevisions=2904009  nbUselessRevisions=2514099
1.79	     nbAssignments=3455  nbFailedAssignments=1690  nbBacktracks=1710  nbVisitedNodes=6404  nbRestartNogoods=50
1.79	       =>  wckTime=0.953  cpuTime=0.86  mem=15M64
2.14	   
2.14	   search
2.14	     run=11  nbConstraintChecks=6826090  nbPropagations=228752  nbRevisions=4429935  nbUselessRevisions=3836232
2.14	     nbAssignments=5179  nbFailedAssignments=2545  nbBacktracks=2575  nbVisitedNodes=9633  nbRestartNogoods=62
2.14	       =>  wckTime=1.311  cpuTime=1.21  mem=15M64
2.68	   
2.68	   search
2.68	     run=12  nbConstraintChecks=10357014  nbPropagations=345458  nbRevisions=6737736  nbUselessRevisions=5835955
2.68	     nbAssignments=7770  nbFailedAssignments=3833  nbBacktracks=3872  nbVisitedNodes=14454  nbRestartNogoods=70
2.68	       =>  wckTime=1.851  cpuTime=1.75  mem=15M64
3.47	   
3.47	   search
3.47	     run=13  nbConstraintChecks=15487840  nbPropagations=519913  nbRevisions=10195729  nbUselessRevisions=8832928
3.47	     nbAssignments=11582  nbFailedAssignments=5694  nbBacktracks=5818  nbVisitedNodes=21576  nbRestartNogoods=85
3.47	       =>  wckTime=2.643  cpuTime=2.53  mem=15M64
4.67	   
4.68	   search
4.68	     run=14  nbConstraintChecks=23356991  nbPropagations=782030  nbRevisions=15409395  nbUselessRevisions=13352044
4.68	     nbAssignments=17342  nbFailedAssignments=8529  nbBacktracks=8738  nbVisitedNodes=32328  nbRestartNogoods=98
4.68	       =>  wckTime=3.844  cpuTime=3.72  mem=15M64
6.50	   
6.50	   search
6.50	     run=15  nbConstraintChecks=35322657  nbPropagations=1176644  nbRevisions=23291980  nbUselessRevisions=20186304
6.50	     nbAssignments=26087  nbFailedAssignments=12891  nbBacktracks=13117  nbVisitedNodes=48719  nbRestartNogoods=110
6.50	       =>  wckTime=5.664  cpuTime=5.53  mem=15M64
9.19	   
9.19	   search
9.19	     run=16  nbConstraintChecks=52896759  nbPropagations=1768412  nbRevisions=35120409  nbUselessRevisions=30445656
9.19	     nbAssignments=39110  nbFailedAssignments=19341  nbBacktracks=19685  nbVisitedNodes=73108  nbRestartNogoods=127
9.19	       =>  wckTime=8.355  cpuTime=8.19  mem=15M64
13.23	   
13.23	   search
13.23	     run=17  nbConstraintChecks=79649051  nbPropagations=2657525  nbRevisions=52918526  nbUselessRevisions=45881619
13.23	     nbAssignments=58825  nbFailedAssignments=29198  nbBacktracks=29537  nbVisitedNodes=109939  nbRestartNogoods=142
13.23	       =>  wckTime=12.4  cpuTime=12.2  mem=15M64
19.46	   
19.46	   search
19.46	     run=18  nbConstraintChecks=120999435  nbPropagations=4000761  nbRevisions=79905232  nbUselessRevisions=69291360
19.46	     nbAssignments=88478  nbFailedAssignments=44068  nbBacktracks=44318  nbVisitedNodes=165482  nbRestartNogoods=156
19.46	       =>  wckTime=18.632  cpuTime=18.37  mem=15M64
28.74	   
28.74	   search
28.74	     run=19  nbConstraintChecks=182003194  nbPropagations=6018136  nbRevisions=120490473  nbUselessRevisions=104505303
28.74	     nbAssignments=132810  nbFailedAssignments=66227  nbBacktracks=66486  nbVisitedNodes=248443  nbRestartNogoods=174
28.74	       =>  wckTime=27.907  cpuTime=27.56  mem=15M64
42.54	   
42.54	   search
42.54	     run=20  nbConstraintChecks=273191937  nbPropagations=9040848  nbRevisions=181408339  nbUselessRevisions=157371993
42.54	     nbAssignments=199165  nbFailedAssignments=99327  nbBacktracks=99738  nbVisitedNodes=372525  nbRestartNogoods=195
42.54	       =>  wckTime=41.712  cpuTime=41.24  mem=15M64
63.14	   
63.14	   search
63.14	     run=21  nbConstraintChecks=409550339  nbPropagations=13562241  nbRevisions=272606018  nbUselessRevisions=236532241
63.14	     nbAssignments=297663  nbFailedAssignments=147941  nbBacktracks=149617  nbVisitedNodes=556537  nbRestartNogoods=204
63.14	       =>  wckTime=62.31  cpuTime=61.64  mem=15M64
94.49	   
94.49	   search
94.49	     run=22  nbConstraintChecks=617602071  nbPropagations=20358919  nbRevisions=409963379  nbUselessRevisions=355774561
94.49	     nbAssignments=446784  nbFailedAssignments=222240  nbBacktracks=224435  nbVisitedNodes=835670  nbRestartNogoods=224
94.49	       =>  wckTime=93.655  cpuTime=92.71  mem=15M64
142.09	   
142.09	   search
142.09	     run=23  nbConstraintChecks=935565538  nbPropagations=30596364  nbRevisions=617512374  nbUselessRevisions=535981179
142.09	     nbAssignments=671201  nbFailedAssignments=334424  nbBacktracks=336663  nbVisitedNodes=1255673  nbRestartNogoods=240
142.09	       =>  wckTime=141.256  cpuTime=139.88  mem=15M64
214.59	   
214.59	   search
214.59	     run=24  nbConstraintChecks=1422518370  nbPropagations=46049438  nbRevisions=932239159  nbUselessRevisions=809301957
214.59	     nbAssignments=1009486  nbFailedAssignments=504364  nbBacktracks=505004  nbVisitedNodes=1889270
214.59	     nbRestartNogoods=256
214.59	       =>  wckTime=213.759  cpuTime=211.73  mem=15M64
247.57	   
247.57	   search
247.57	     run=25  nbConstraintChecks=1644791796  nbPropagations=63861114  nbRevisions=1295758798
247.57	     nbUselessRevisions=1125029856  nbAssignments=1161685  nbFailedAssignments=580957  nbBacktracks=580611
247.57	     nbVisitedNodes=2174372  nbRestartNogoods=271
247.57	       =>  wckTime=246.742  cpuTime=244.4  mem=15M64
247.58	   
247.58	   global
247.58	     nbConstraintChecks=1644791796  nbPropagations=63861138  nbRevisions=1295758798  nbUselessRevisions=1125029856
247.58	     nbRestartNogoods=271  solvingWckTime=246.744  solvingCpuTime=244.41  expiredTime=no  totalExploration=yes
247.58	     nbFoundSolutions=0  globalCpuTime=244.82
247.58	       =>  wckTime=247.261  cpuTime=244.77  mem=15M64
247.58	   
247.58	s UNSATISFIABLE
247.58	d NODES 1161685
247.58	d CHECKS 1644791796
247.58	   
247.58	   totalWckTime=247.343  totalCpuTime=244.82

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/node17/watcher-221831-1168080094 -o ROOT/results/node17/solver-221831-1168080094 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221831-1168080094/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.94 1.95 1.91 4/93 14125
/proc/meminfo: memFree=1481832/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=906644 CPUtime=0.02
/proc/14124/stat : 14124 (java) S 14122 14124 13833 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156404164 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 226661 1818 1036 14 0 214244 0
[pid=14124/tid=14126] ppid=14122 vsize=906644 CPUtime=0
/proc/14124/task/14126/stat : 14126 (java) R 14122 14124 13833 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156404168 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102676 s]
/proc/loadavg: 1.94 1.95 1.91 4/93 14125
/proc/meminfo: memFree=1481832/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916012 CPUtime=0.09
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 2980 0 1 0 7 2 0 0 17 0 8 0 156404164 937996288 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229003 2726 1423 14 0 215498 0
[pid=14124/tid=14126] ppid=14122 vsize=916012 CPUtime=0
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156404168 937996288 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 916012

[startup+0.510717 s]
/proc/loadavg: 1.94 1.95 1.91 4/93 14125
/proc/meminfo: memFree=1481832/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916352 CPUtime=0.49
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 6912 0 1 0 45 4 0 0 18 0 8 0 156404164 938344448 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229088 6651 2137 14 0 215558 0
[pid=14124/tid=14126] ppid=14122 vsize=916352 CPUtime=0
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156404168 938344448 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916352

[startup+1.3338 s]
/proc/loadavg: 1.94 1.95 1.91 4/100 14132
/proc/meminfo: memFree=1458288/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=1.3
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8606 0 1 0 123 7 0 0 24 0 8 0 156404164 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8344 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.22
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 379 0 0 0 22 0 0 0 15 0 8 0 156404172 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8344 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) 916476

[startup+2.98697 s]
/proc/loadavg: 1.94 1.95 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=2.94
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8639 0 1 0 287 7 0 0 25 0 8 0 156404164 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8375 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 389 0 0 0 24 0 0 0 15 0 8 0 156404172 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8375 18446744073709551615 134512640 134570532 4294956464 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) 916476

[startup+6.27031 s]
/proc/loadavg: 1.95 1.95 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=6.19
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8646 0 1 0 612 7 0 0 25 0 8 0 156404164 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8382 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8382 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) 916476

[startup+12.758 s]
/proc/loadavg: 1.95 1.96 1.91 3/100 14132
/proc/meminfo: memFree=1457840/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=12.62
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8652 0 1 0 1255 7 0 0 25 0 8 0 156404164 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8387 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 916476

[startup+25.5943 s]
/proc/loadavg: 1.96 1.96 1.91 3/100 14132
/proc/meminfo: memFree=1457968/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=25.34
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8657 0 1 0 2527 7 0 0 25 0 8 0 156404164 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8392 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 916476

[startup+51.201 s]
/proc/loadavg: 1.97 1.96 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=50.72
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8662 0 1 0 5064 8 0 0 25 0 8 0 156404164 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8397 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 916476

[startup+102.407 s]
/proc/loadavg: 1.99 1.96 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=101.45
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8667 0 1 0 10137 8 0 0 25 0 8 0 156404164 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8402 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 916476

[startup+162.458 s]
/proc/loadavg: 1.99 1.97 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=160.95
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8669 0 1 0 16087 8 0 0 25 0 8 0 156404164 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8404 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 916476

[startup+222.507 s]
/proc/loadavg: 1.99 1.97 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=220.46
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8672 0 1 0 22037 9 0 0 25 0 8 0 156404164 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8407 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.46
Current children cumulated vsize (KiB) 916476

Child status: 0
Real time (s): 247.633
CPU time (s): 245.325
CPU user time (s): 245.224
CPU system time (s): 0.100984
CPU usage (%): 99.0678
Max. virtual memory (cumulated for all children) (KiB): 916476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.224
system time used= 0.100984
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= 6100
involuntary context switches= 14417

runsolver used 0.341948 s user time and 0.767883 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan  6 10:41:34 UTC 2007


IDJOB= 221831
IDBENCH= 5469
FILE ID= node17/221831-1168080094

PBS_JOBID= 3475841

Free space on /tmp= 66314 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  656731a78971893f85baaac0920e1a7e

RANDOM SEED= 352298434

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.236
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.236
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:       1482312 kB
Buffers:         46984 kB
Cached:         248952 kB
SwapCached:          0 kB
Active:         273728 kB
Inactive:       210468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1482312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:         217288 kB
Slab:            73944 kB
Committed_AS:  4609400 kB
PageTables:       2544 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= 66314 MiB



End job on node17 on Sat Jan  6 10:45:41 UTC 2007