Trace number 202581

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 251.427 253.797

DiagnosticValue
CHECKS1540686439
NODES1117687

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-5_ext.xml
MD5SUMd4c73cc20c680b56840c44ce0cb31ef5
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 benchmark66.4149
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints334
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension334
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/202581-1168152568/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.43	       =>  wckTime=0.104  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.66	     nbConstraints=334  nbRelationTypes=334  nbExtensionStructures=334  nbSharedExtensionStructures=0
0.66	     nbConflictsStructures=334  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2807  maxDegree=23
0.66	     maxArity=2
0.66	       =>  wckTime=0.331  cpuTime=0.24  mem=12M803
0.70	   
0.70	   solver IterativeSystematicSolver being built... 
0.87	       =>  wckTime=0.543  cpuTime=0.38  mem=15M8
0.93	   
0.93	   preprocessing
0.93	     nbConstraintChecks=64033  nbPropagations=873  nbRevisions=6589  nbUselessRevisions=5367  nbSingletonTests=46
0.93	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.93	       =>  wckTime=0.054  cpuTime=0.03  mem=15M8
0.95	   
0.95	   search
0.95	     run=0  nbConstraintChecks=31153  nbPropagations=1322  nbRevisions=11568  nbUselessRevisions=9439  nbAssignments=29
0.95	     nbFailedAssignments=9  nbBacktracks=12  nbVisitedNodes=45  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.95	     nbTooLargeKeys=0
0.95	       =>  wckTime=0.078  cpuTime=0.05  mem=15M8
0.97	   
0.97	   search
0.97	     run=1  nbConstraintChecks=64733  nbPropagations=3151  nbRevisions=29108  nbUselessRevisions=23815  nbAssignments=58
0.97	     nbFailedAssignments=17  nbBacktracks=28  nbVisitedNodes=89  nbRestartNogoods=2  mapSize=22  nbInferences=0
0.97	     nbTooLargeKeys=0
0.97	       =>  wckTime=0.098  cpuTime=0.06  mem=15M8
0.99	   
0.99	   search
0.99	     run=2  nbConstraintChecks=136042  nbPropagations=6041  nbRevisions=61023  nbUselessRevisions=49910
0.99	     nbAssignments=104  nbFailedAssignments=34  nbBacktracks=51  nbVisitedNodes=172  nbRestartNogoods=3  mapSize=44
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.118  cpuTime=0.08  mem=15M8
1.01	   
1.01	   search
1.01	     run=3  nbConstraintChecks=246709  nbPropagations=10442  nbRevisions=112738  nbUselessRevisions=92054
1.01	     nbAssignments=175  nbFailedAssignments=63  nbBacktracks=86  nbVisitedNodes=298  nbRestartNogoods=6  mapSize=77
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.14  cpuTime=0.1  mem=15M8
1.05	   
1.05	   search
1.05	     run=4  nbConstraintChecks=372009  nbPropagations=16703  nbRevisions=189400  nbUselessRevisions=154518
1.05	     nbAssignments=271  nbFailedAssignments=101  nbBacktracks=137  nbVisitedNodes=464  nbRestartNogoods=9  mapSize=123
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.17  cpuTime=0.12  mem=15M8
1.09	   
1.09	   search
1.09	     run=5  nbConstraintChecks=571863  nbPropagations=25756  nbRevisions=303650  nbUselessRevisions=247370
1.09	     nbAssignments=415  nbFailedAssignments=164  nbBacktracks=212  nbVisitedNodes=717  nbRestartNogoods=15  mapSize=186
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.213  cpuTime=0.16  mem=15M8
1.16	   
1.16	   search
1.16	     run=6  nbConstraintChecks=842680  nbPropagations=38753  nbRevisions=470778  nbUselessRevisions=382963
1.16	     nbAssignments=639  nbFailedAssignments=259  nbBacktracks=325  nbVisitedNodes=1092  nbRestartNogoods=22  mapSize=284
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.282  cpuTime=0.22  mem=15M8
1.25	   
1.25	   search
1.25	     run=7  nbConstraintChecks=1310011  nbPropagations=58112  nbRevisions=723513  nbUselessRevisions=587129
1.25	     nbAssignments=973  nbFailedAssignments=417  nbBacktracks=495  nbVisitedNodes=1690  nbRestartNogoods=25  mapSize=433
1.25	     nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.372  cpuTime=0.3  mem=15M8
1.37	   
1.38	   search
1.38	     run=8  nbConstraintChecks=1936559  nbPropagations=86466  nbRevisions=1104028  nbUselessRevisions=894741
1.38	     nbAssignments=1462  nbFailedAssignments=643  nbBacktracks=752  nbVisitedNodes=2553  nbRestartNogoods=34
1.38	     mapSize=654  nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.5  cpuTime=0.42  mem=15M8
1.57	   
1.57	   search
1.57	     run=9  nbConstraintChecks=2903863  nbPropagations=128795  nbRevisions=1681900  nbUselessRevisions=1363406
1.57	     nbAssignments=2180  nbFailedAssignments=971  nbBacktracks=1136  nbVisitedNodes=3844  nbRestartNogoods=44
1.57	     mapSize=995  nbInferences=0  nbTooLargeKeys=0
1.57	       =>  wckTime=0.69  cpuTime=0.6  mem=15M8
1.57	   
1.57	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M8)
1.79	   
1.79	   search
1.79	     run=10  nbConstraintChecks=4219329  nbPropagations=189444  nbRevisions=2515052  nbUselessRevisions=2038469
1.79	     nbAssignments=3167  nbFailedAssignments=1374  nbBacktracks=1713  nbVisitedNodes=5573  nbRestartNogoods=48
1.79	       =>  wckTime=0.918  cpuTime=0.82  mem=15M8
2.14	   
2.14	   search
2.14	     run=11  nbConstraintChecks=6351813  nbPropagations=280180  nbRevisions=3756674  nbUselessRevisions=3041371
2.14	     nbAssignments=4746  nbFailedAssignments=2080  nbBacktracks=2579  nbVisitedNodes=8377  nbRestartNogoods=53
2.14	       =>  wckTime=1.27  cpuTime=1.16  mem=15M8
2.68	   
2.68	   search
2.68	     run=12  nbConstraintChecks=9531673  nbPropagations=415943  nbRevisions=5635503  nbUselessRevisions=4561864
2.68	     nbAssignments=7103  nbFailedAssignments=3132  nbBacktracks=3877  nbVisitedNodes=12567  nbRestartNogoods=60
2.68	       =>  wckTime=1.809  cpuTime=1.69  mem=15M8
3.48	   
3.48	   search
3.48	     run=13  nbConstraintChecks=14278252  nbPropagations=620080  nbRevisions=8474133  nbUselessRevisions=6861472
3.48	     nbAssignments=10630  nbFailedAssignments=4707  nbBacktracks=5824  nbVisitedNodes=18875  nbRestartNogoods=64
3.48	       =>  wckTime=2.606  cpuTime=2.48  mem=15M8
4.65	   
4.65	   search
4.65	     run=14  nbConstraintChecks=21377778  nbPropagations=923944  nbRevisions=12672503  nbUselessRevisions=10251910
4.65	     nbAssignments=15857  nbFailedAssignments=7007  nbBacktracks=8744  nbVisitedNodes=28155  nbRestartNogoods=74
4.65	       =>  wckTime=3.775  cpuTime=3.64  mem=15M8
6.25	   
6.25	   search
6.25	     run=15  nbConstraintChecks=31106684  nbPropagations=1364662  nbRevisions=18797356  nbUselessRevisions=15206248
6.25	     nbAssignments=23229  nbFailedAssignments=9993  nbBacktracks=13122  nbVisitedNodes=41027  nbRestartNogoods=85
6.25	       =>  wckTime=5.376  cpuTime=5.23  mem=15M8
8.88	   
8.88	   search
8.88	     run=16  nbConstraintChecks=47208357  nbPropagations=2033300  nbRevisions=28081090  nbUselessRevisions=22715023
8.88	     nbAssignments=34836  nbFailedAssignments=15023  nbBacktracks=19693  nbVisitedNodes=61672  nbRestartNogoods=93
8.88	       =>  wckTime=8.01  cpuTime=7.84  mem=15M8
12.64	   
12.64	   search
12.64	     run=17  nbConstraintChecks=69776503  nbPropagations=3022463  nbRevisions=41887369  nbUselessRevisions=33894377
12.64	     nbAssignments=52026  nbFailedAssignments=22352  nbBacktracks=29545  nbVisitedNodes=91970  nbRestartNogoods=104
12.64	       =>  wckTime=11.765  cpuTime=11.55  mem=15M8
18.57	   
18.57	   search
18.57	     run=18  nbConstraintChecks=105483768  nbPropagations=4519064  nbRevisions=62775869  nbUselessRevisions=50805716
18.57	     nbAssignments=78320  nbFailedAssignments=33862  nbBacktracks=44323  nbVisitedNodes=138909  nbRestartNogoods=114
18.57	       =>  wckTime=17.695  cpuTime=17.43  mem=15M984
27.50	   
27.50	   search
27.50	     run=19  nbConstraintChecks=160190365  nbPropagations=6770839  nbRevisions=94116658  nbUselessRevisions=76124232
27.50	     nbAssignments=117790  nbFailedAssignments=51159  nbBacktracks=66491  nbVisitedNodes=208836  nbRestartNogoods=120
27.50	       =>  wckTime=26.624  cpuTime=26.27  mem=15M984
40.46	   
40.46	   search
40.46	     run=20  nbConstraintChecks=239319036  nbPropagations=10108855  nbRevisions=140944560  nbUselessRevisions=114032088
40.46	     nbAssignments=175744  nbFailedAssignments=75854  nbBacktracks=99744  nbVisitedNodes=311396  nbRestartNogoods=137
40.46	       =>  wckTime=39.581  cpuTime=39.11  mem=15M984
59.81	   
59.81	   search
59.81	     run=21  nbConstraintChecks=356314377  nbPropagations=15104741  nbRevisions=210654144  nbUselessRevisions=170444969
59.81	     nbAssignments=263010  nbFailedAssignments=113235  nbBacktracks=149624  nbVisitedNodes=465678  nbRestartNogoods=145
59.81	       =>  wckTime=58.936  cpuTime=58.3  mem=15M984
88.90	   
88.90	   search
88.90	     run=22  nbConstraintChecks=532761931  nbPropagations=22554065  nbRevisions=315050114  nbUselessRevisions=254996348
88.90	     nbAssignments=393424  nbFailedAssignments=168821  nbBacktracks=224444  nbVisitedNodes=695892  nbRestartNogoods=154
88.90	       =>  wckTime=88.027  cpuTime=87.12  mem=15M984
133.15	   
133.15	   search
133.15	     run=23  nbConstraintChecks=802877707  nbPropagations=33743200  nbRevisions=471891429  nbUselessRevisions=381986733
133.15	     nbAssignments=589216  nbFailedAssignments=252379  nbBacktracks=336672  nbVisitedNodes=1041567  nbRestartNogoods=160
133.15	       =>  wckTime=132.276  cpuTime=130.96  mem=15M984
200.70	   
200.70	   search
200.70	     run=24  nbConstraintChecks=1215780057  nbPropagations=50595359  nbRevisions=709162413  nbUselessRevisions=574219022
200.70	     nbAssignments=884415  nbFailedAssignments=379229  nbBacktracks=505015  nbVisitedNodes=1563537  nbRestartNogoods=175
200.70	       =>  wckTime=199.824  cpuTime=197.89  mem=15M984
253.77	   
253.77	   search
253.77	     run=25  nbConstraintChecks=1540622406  nbPropagations=71855482  nbRevisions=1009460297
253.77	     nbUselessRevisions=817563267  nbAssignments=1117687  nbFailedAssignments=478920  nbBacktracks=638597
253.77	     nbVisitedNodes=1974671  nbRestartNogoods=188
253.77	       =>  wckTime=252.892  cpuTime=250.47  mem=15M984
253.77	   
253.77	   global
253.77	     nbConstraintChecks=1540686439  nbPropagations=71856355  nbRevisions=1009466886  nbUselessRevisions=817568634
253.77	     nbRestartNogoods=188  solvingWckTime=252.893  solvingCpuTime=250.47  expiredTime=no  totalExploration=yes
253.77	     nbFoundSolutions=0  globalCpuTime=250.9
253.77	       =>  wckTime=253.44  cpuTime=250.85  mem=15M984
253.77	   
253.77	s UNSATISFIABLE
253.77	d NODES 1117687
253.77	d CHECKS 1540686439
253.77	   
253.77	   totalWckTime=253.526  totalCpuTime=250.9

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/node22/watcher-202581-1168152568 -o ROOT/results/node22/solver-202581-1168152568 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202581-1168152568/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: 0.92 1.01 1.32 4/83 32223
/proc/meminfo: memFree=1011432/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=1784 CPUtime=0
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 163651232 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32221/statm: 446 136 102 14 0 91 0

[startup+0.104627 s]
/proc/loadavg: 0.92 1.01 1.32 4/83 32223
/proc/meminfo: memFree=1011432/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=913228 CPUtime=0.08
/proc/32221/stat : 32221 (java) S 32218 32221 32113 0 -1 0 2899 0 1 0 7 1 0 0 18 0 8 0 163651232 935145472 2645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228307 2645 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.512688 s]
/proc/loadavg: 0.92 1.01 1.32 4/83 32223
/proc/meminfo: memFree=1011432/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915328 CPUtime=0.48
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 6628 0 1 0 45 3 0 0 18 0 8 0 163651232 937295872 6367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073555194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228832 6367 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33481 s]
/proc/loadavg: 0.92 1.01 1.32 4/101 32254
/proc/meminfo: memFree=916240/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=1.29
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8717 0 1 0 123 6 0 0 24 0 8 0 163651232 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8455 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 17 0 8 0 163651237 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.22
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 378 0 0 0 22 0 0 0 15 0 8 0 163651241 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8455 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+2.98706 s]
/proc/loadavg: 0.92 1.01 1.32 3/102 32255
/proc/meminfo: memFree=912968/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=2.93
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8766 0 1 0 287 6 0 0 25 0 8 0 163651232 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8503 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.25
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 24 1 0 0 15 0 8 0 163651241 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8503 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+6.27457 s]
/proc/loadavg: 1.01 1.03 1.32 3/102 32255
/proc/meminfo: memFree=912904/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=6.18
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8773 0 1 0 612 6 0 0 25 0 8 0 163651232 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8510 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456

[startup+12.7566 s]
/proc/loadavg: 1.23 1.07 1.34 3/102 32255
/proc/meminfo: memFree=912912/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=12.6
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8779 0 1 0 1254 6 0 0 25 0 8 0 163651232 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8515 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915456

[startup+25.6125 s]
/proc/loadavg: 1.35 1.10 1.34 3/102 32255
/proc/meminfo: memFree=913040/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=25.34
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8782 0 1 0 2528 6 0 0 25 0 8 0 163651232 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8518 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8518 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+51.2245 s]
/proc/loadavg: 1.57 1.17 1.36 3/102 32255
/proc/meminfo: memFree=913040/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=50.72
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8787 0 1 0 5065 7 0 0 25 0 8 0 163651232 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8523 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8523 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+102.442 s]
/proc/loadavg: 1.81 1.30 1.39 3/102 32255
/proc/meminfo: memFree=913040/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=101.47
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8792 0 1 0 10140 7 0 0 25 0 8 0 163651232 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8528 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915456

[startup+162.466 s]
/proc/loadavg: 1.93 1.42 1.43 3/102 32255
/proc/meminfo: memFree=913104/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=160.95
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8795 0 1 0 16087 8 0 0 25 0 8 0 163651232 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8531 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8531 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+222.49 s]
/proc/loadavg: 2.09 1.56 1.47 3/102 32255
/proc/meminfo: memFree=889616/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=220.41
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8797 0 1 0 22033 8 0 0 25 0 8 0 163651232 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8533 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.41
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 253.797
CPU time (s): 251.427
CPU user time (s): 251.329
CPU system time (s): 0.097985
CPU usage (%): 99.0662
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.329
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8889
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= 6310
involuntary context switches= 10959

runsolver used 0.32295 s user time and 0.817875 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Sun Jan  7 06:49:28 UTC 2007


IDJOB= 202581
IDBENCH= 3867
FILE ID= node22/202581-1168152568

PBS_JOBID= 3478487

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202581-1168152568/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-202581-1168152568 -o ROOT/results/node22/solver-202581-1168152568 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202581-1168152568/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d4c73cc20c680b56840c44ce0cb31ef5

RANDOM SEED= 236243005

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.279
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.279
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:       1011848 kB
Buffers:         56892 kB
Cached:         868984 kB
SwapCached:      13680 kB
Active:         243456 kB
Inactive:       725304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1011848 kB
SwapTotal:     4192956 kB
SwapFree:      4157532 kB
Dirty:            5648 kB
Writeback:           0 kB
Mapped:          58164 kB
Slab:            60296 kB
Committed_AS:  2853040 kB
PageTables:       2180 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= 66550 MiB



End job on node22 on Sun Jan  7 06:53:42 UTC 2007