Trace number 202582

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 225.652 226.693

DiagnosticValue
CHECKS1521246115
NODES1096362

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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/202582-1168072587/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.39	       =>  wckTime=0.095  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=334  nbRelationTypes=334  nbExtensionStructures=334  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=334  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2807  maxDegree=23
0.59	     maxArity=2
0.59	       =>  wckTime=0.299  cpuTime=0.22  mem=12M803
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.78	       =>  wckTime=0.483  cpuTime=0.34  mem=13M918
0.79	   
0.79	   preprocessing
0.79	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.79	     detectedInconsistency=no
0.79	       =>  wckTime=0.0050  cpuTime=0.0  mem=13M918
0.83	   
0.83	   search
0.83	     run=0  nbConstraintChecks=34600  nbPropagations=541  nbRevisions=5701  nbUselessRevisions=4637  nbAssignments=29
0.83	     nbFailedAssignments=8  nbBacktracks=13  nbVisitedNodes=47  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.83	     nbTooLargeKeys=0
0.83	       =>  wckTime=0.051  cpuTime=0.03  mem=14M893
0.85	   
0.85	   search
0.85	     run=1  nbConstraintChecks=87909  nbPropagations=1891  nbRevisions=22111  nbUselessRevisions=18051  nbAssignments=68
0.85	     nbFailedAssignments=23  nbBacktracks=30  nbVisitedNodes=112  nbRestartNogoods=2  mapSize=25  nbInferences=0
0.85	     nbTooLargeKeys=0
0.85	       =>  wckTime=0.074  cpuTime=0.05  mem=14M893
0.88	   
0.88	   search
0.88	     run=2  nbConstraintChecks=170649  nbPropagations=4405  nbRevisions=53624  nbUselessRevisions=43740
0.88	     nbAssignments=118  nbFailedAssignments=43  nbBacktracks=54  nbVisitedNodes=201  nbRestartNogoods=5  mapSize=48
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.099  cpuTime=0.08  mem=14M893
0.90	   
0.90	   search
0.90	     run=3  nbConstraintChecks=260169  nbPropagations=8218  nbRevisions=102426  nbUselessRevisions=83301
0.90	     nbAssignments=189  nbFailedAssignments=72  nbBacktracks=90  nbVisitedNodes=321  nbRestartNogoods=9  mapSize=79
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.117  cpuTime=0.1  mem=14M893
0.92	   
0.92	   search
0.92	     run=4  nbConstraintChecks=370925  nbPropagations=13769  nbRevisions=174003  nbUselessRevisions=141480
0.92	     nbAssignments=284  nbFailedAssignments=106  nbBacktracks=142  nbVisitedNodes=484  nbRestartNogoods=11  mapSize=124
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.142  cpuTime=0.12  mem=14M893
0.96	   
0.96	   search
0.96	     run=5  nbConstraintChecks=553069  nbPropagations=21877  nbRevisions=280459  nbUselessRevisions=227825
0.96	     nbAssignments=422  nbFailedAssignments=161  nbBacktracks=219  nbVisitedNodes=722  nbRestartNogoods=15  mapSize=188
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.18  cpuTime=0.16  mem=14M893
1.02	   
1.02	   search
1.02	     run=6  nbConstraintChecks=851324  nbPropagations=34317  nbRevisions=445685  nbUselessRevisions=361803
1.02	     nbAssignments=645  nbFailedAssignments=262  nbBacktracks=332  nbVisitedNodes=1112  nbRestartNogoods=18  mapSize=294
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.237  cpuTime=0.21  mem=14M893
1.10	   
1.10	   search
1.10	     run=7  nbConstraintChecks=1274486  nbPropagations=52707  nbRevisions=693762  nbUselessRevisions=562508
1.10	     nbAssignments=973  nbFailedAssignments=413  nbBacktracks=502  nbVisitedNodes=1687  nbRestartNogoods=26  mapSize=438
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.316  cpuTime=0.29  mem=14M893
1.22	   
1.22	   search
1.22	     run=8  nbConstraintChecks=1910277  nbPropagations=80446  nbRevisions=1070466  nbUselessRevisions=867808
1.22	     nbAssignments=1439  nbFailedAssignments=617  nbBacktracks=758  nbVisitedNodes=2525  nbRestartNogoods=32
1.22	     mapSize=664  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.438  cpuTime=0.4  mem=14M893
1.40	   
1.40	   search
1.40	     run=9  nbConstraintChecks=2946254  nbPropagations=122011  nbRevisions=1646486  nbUselessRevisions=1334084
1.40	     nbAssignments=2186  nbFailedAssignments=973  nbBacktracks=1142  nbVisitedNodes=3871  nbRestartNogoods=40
1.40	     mapSize=1001  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.618  cpuTime=0.56  mem=14M893
1.40	   
1.40	   INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=14M893)
1.63	   
1.63	   search
1.63	     run=10  nbConstraintChecks=4456086  nbPropagations=184743  nbRevisions=2510266  nbUselessRevisions=2031984
1.63	     nbAssignments=3261  nbFailedAssignments=1464  nbBacktracks=1720  nbVisitedNodes=5801  nbRestartNogoods=51
1.64	       =>  wckTime=0.853  cpuTime=0.79  mem=14M893
1.92	   
1.92	   search
1.92	     run=11  nbConstraintChecks=6317052  nbPropagations=273665  nbRevisions=3742301  nbUselessRevisions=3029148
1.92	     nbAssignments=4689  nbFailedAssignments=2019  nbBacktracks=2585  nbVisitedNodes=8273  nbRestartNogoods=60
1.92	       =>  wckTime=1.138  cpuTime=1.08  mem=14M893
2.41	   
2.41	   search
2.41	     run=12  nbConstraintChecks=9545171  nbPropagations=408487  nbRevisions=5613858  nbUselessRevisions=4542978
2.41	     nbAssignments=7048  nbFailedAssignments=3073  nbBacktracks=3884  nbVisitedNodes=12476  nbRestartNogoods=71
2.41	       =>  wckTime=1.629  cpuTime=1.56  mem=14M893
3.10	   
3.10	   search
3.10	     run=13  nbConstraintChecks=14136540  nbPropagations=607908  nbRevisions=8398655  nbUselessRevisions=6797874
3.10	     nbAssignments=10483  nbFailedAssignments=4554  nbBacktracks=5830  nbVisitedNodes=18557  nbRestartNogoods=83
3.10	       =>  wckTime=2.323  cpuTime=2.26  mem=14M893
4.19	   
4.19	   search
4.19	     run=14  nbConstraintChecks=21339285  nbPropagations=905841  nbRevisions=12569975  nbUselessRevisions=10172659
4.19	     nbAssignments=15756  nbFailedAssignments=6902  nbBacktracks=8749  nbVisitedNodes=27915  nbRestartNogoods=96
4.19	       =>  wckTime=3.406  cpuTime=3.32  mem=14M893
5.82	   
5.82	   search
5.82	     run=15  nbConstraintChecks=32045808  nbPropagations=1355717  nbRevisions=18798097  nbUselessRevisions=15202174
5.82	     nbAssignments=23573  nbFailedAssignments=10333  nbBacktracks=13127  nbVisitedNodes=41842  nbRestartNogoods=101
5.82	       =>  wckTime=5.036  cpuTime=4.93  mem=14M893
8.14	   
8.14	   search
8.14	     run=16  nbConstraintChecks=47202012  nbPropagations=2021772  nbRevisions=28082502  nbUselessRevisions=22714304
8.14	     nbAssignments=35120  nbFailedAssignments=15305  nbBacktracks=19695  nbVisitedNodes=62247  nbRestartNogoods=111
8.14	       =>  wckTime=7.355  cpuTime=7.23  mem=14M893
11.63	   
11.63	   search
11.63	     run=17  nbConstraintChecks=70100917  nbPropagations=3018099  nbRevisions=41955996  nbUselessRevisions=33945042
11.63	     nbAssignments=52464  nbFailedAssignments=22791  nbBacktracks=29547  nbVisitedNodes=93092  nbRestartNogoods=120
11.63	       =>  wckTime=10.851  cpuTime=10.71  mem=14M893
16.99	   
16.99	   search
16.99	     run=18  nbConstraintChecks=106370314  nbPropagations=4521973  nbRevisions=62753103  nbUselessRevisions=50739948
16.99	     nbAssignments=78917  nbFailedAssignments=34458  nbBacktracks=44326  nbVisitedNodes=139969  nbRestartNogoods=129
16.99	       =>  wckTime=16.208  cpuTime=16.05  mem=14M893
24.58	   
24.58	   search
24.58	     run=19  nbConstraintChecks=157246834  nbPropagations=6734284  nbRevisions=93585390  nbUselessRevisions=75696590
24.58	     nbAssignments=116719  nbFailedAssignments=50085  nbBacktracks=66495  nbVisitedNodes=206466  nbRestartNogoods=137
24.58	       =>  wckTime=23.799  cpuTime=23.62  mem=14M893
36.55	   
36.55	   search
36.55	     run=20  nbConstraintChecks=236738491  nbPropagations=10077686  nbRevisions=139902456  nbUselessRevisions=113128049
36.55	     nbAssignments=175684  nbFailedAssignments=75790  nbBacktracks=99748  nbVisitedNodes=311028  nbRestartNogoods=151
36.55	       =>  wckTime=35.767  cpuTime=35.53  mem=14M893
53.83	   
53.83	   search
53.83	     run=21  nbConstraintChecks=352319590  nbPropagations=15023213  nbRevisions=208860386  nbUselessRevisions=168947847
53.83	     nbAssignments=261856  nbFailedAssignments=112080  nbBacktracks=149626  nbVisitedNodes=462751  nbRestartNogoods=166
53.83	       =>  wckTime=53.048  cpuTime=52.72  mem=14M893
80.41	   
80.41	   search
80.41	     run=22  nbConstraintChecks=530726616  nbPropagations=22451179  nbRevisions=312814655  nbUselessRevisions=253126561
80.41	     nbAssignments=393281  nbFailedAssignments=168681  nbBacktracks=224444  nbVisitedNodes=695161  nbRestartNogoods=176
80.41	       =>  wckTime=79.632  cpuTime=79.2  mem=14M893
120.97	   
120.97	   search
120.97	     run=23  nbConstraintChecks=803365508  nbPropagations=33652699  nbRevisions=470028888  nbUselessRevisions=380460098
120.97	     nbAssignments=591690  nbFailedAssignments=254854  nbBacktracks=336672  nbVisitedNodes=1046620  nbRestartNogoods=186
120.97	       =>  wckTime=120.185  cpuTime=119.57  mem=14M893
182.28	   
182.28	   search
182.28	     run=24  nbConstraintChecks=1217855243  nbPropagations=50534131  nbRevisions=707675794  nbUselessRevisions=572978901
182.28	     nbAssignments=886390  nbFailedAssignments=381209  nbBacktracks=505013  nbVisitedNodes=1567898  nbRestartNogoods=197
182.28	       =>  wckTime=181.5  cpuTime=180.62  mem=14M893
226.67	   
226.67	   search
226.67	     run=25  nbConstraintChecks=1521246115  nbPropagations=71505146  nbRevisions=1002971460
226.67	     nbUselessRevisions=812079634  nbAssignments=1096362  nbFailedAssignments=470887  nbBacktracks=625308
226.67	     nbVisitedNodes=1938515  nbRestartNogoods=204
226.67	       =>  wckTime=225.886  cpuTime=224.81  mem=14M893
226.67	   
226.67	   global
226.67	     nbConstraintChecks=1521246115  nbPropagations=71505186  nbRevisions=1002971460  nbUselessRevisions=812079634
226.67	     nbRestartNogoods=204  solvingWckTime=225.887  solvingCpuTime=224.81  expiredTime=no  totalExploration=yes
226.67	     nbFoundSolutions=0  globalCpuTime=225.2
226.67	       =>  wckTime=226.374  cpuTime=225.15  mem=14M893
226.67	   
226.67	s UNSATISFIABLE
226.67	d NODES 1096362
226.67	d CHECKS 1521246115
226.67	   
226.67	   totalWckTime=226.451  totalCpuTime=225.2

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/node55/watcher-202582-1168072587 -o ROOT/results/node55/solver-202582-1168072587 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202582-1168072587/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.77 0.93 0.97 3/73 10956
/proc/meminfo: memFree=1311320/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=1784 CPUtime=0
/proc/10955/stat : 10955 (java) D 10953 10955 10846 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 155656941 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/10955/statm: 446 158 123 14 0 91 0

[startup+0.107681 s]
/proc/loadavg: 0.77 0.93 0.97 3/73 10956
/proc/meminfo: memFree=1311320/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=914988 CPUtime=0.09
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 3059 0 1 0 7 2 0 0 24 0 8 0 155656941 936947712 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228747 2805 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515722 s]
/proc/loadavg: 0.77 0.93 0.97 3/73 10956
/proc/meminfo: memFree=1311320/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915328 CPUtime=0.49
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 6984 0 1 0 45 4 0 0 25 0 8 0 155656941 937295872 6723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073646772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228832 6724 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3418 s]
/proc/loadavg: 0.77 0.93 0.97 3/87 10970
/proc/meminfo: memFree=1264040/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=1.31
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8640 0 1 0 124 7 0 0 25 0 8 0 155656941 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8378 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.2
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 155656949 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456

[startup+2.99496 s]
/proc/loadavg: 0.77 0.93 0.97 3/87 10970
/proc/meminfo: memFree=1263528/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=2.96
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8664 0 1 0 289 7 0 0 25 0 8 0 155656941 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8401 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456

[startup+6.27927 s]
/proc/loadavg: 0.87 0.95 0.98 5/87 10970
/proc/meminfo: memFree=1263336/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=6.2
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8672 0 1 0 613 7 0 0 25 0 8 0 155656941 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8409 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456

[startup+12.7659 s]
/proc/loadavg: 0.96 0.96 0.98 3/87 10970
/proc/meminfo: memFree=1263288/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=12.66
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8678 0 1 0 1259 7 0 0 25 0 8 0 155656941 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8414 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456

[startup+25.6022 s]
/proc/loadavg: 1.19 1.02 1.00 3/87 10970
/proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=25.44
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8683 0 1 0 2537 7 0 0 25 0 8 0 155656941 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8419 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915456

[startup+51.2046 s]
/proc/loadavg: 1.46 1.09 1.03 3/87 10970
/proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=50.92
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8685 0 1 0 5085 7 0 0 25 0 8 0 155656941 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8421 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915456

[startup+102.507 s]
/proc/loadavg: 1.77 1.23 1.07 3/87 10970
/proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=102.01
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8690 0 1 0 10193 8 0 0 25 0 8 0 155656941 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8426 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 915456

[startup+162.55 s]
/proc/loadavg: 1.91 1.37 1.13 3/87 10970
/proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=161.79
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8692 0 1 0 16171 8 0 0 25 0 8 0 155656941 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8428 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.79
Current children cumulated vsize (KiB) 915456

[startup+222.596 s]
/proc/loadavg: 1.97 1.48 1.18 3/87 10970
/proc/meminfo: memFree=1263288/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=221.58
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8695 0 1 0 22150 8 0 0 25 0 8 0 155656941 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811522 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8431 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.58
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 226.693
CPU time (s): 225.652
CPU user time (s): 225.561
CPU system time (s): 0.090986
CPU usage (%): 99.5406
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.561
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8788
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= 5742
involuntary context switches= 9060

runsolver used 0.296954 s user time and 0.716891 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan  6 08:36:27 UTC 2007


IDJOB= 202582
IDBENCH= 3867
FILE ID= node55/202582-1168072587

PBS_JOBID= 3475985

Free space on /tmp= 66542 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 mac.xml 1 XSax /tmp/evaluation/202582-1168072587/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-202582-1168072587 -o ROOT/results/node55/solver-202582-1168072587 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202582-1168072587/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d4c73cc20c680b56840c44ce0cb31ef5

RANDOM SEED= 545531158

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.218
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	: 5931.00
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.218
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:       1312280 kB
Buffers:         54892 kB
Cached:         585872 kB
SwapCached:          0 kB
Active:         108712 kB
Inactive:       552148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1312280 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3992 kB
Writeback:           0 kB
Mapped:          30208 kB
Slab:            68520 kB
Committed_AS:  2960520 kB
PageTables:       1596 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= 66542 MiB



End job on node55 on Sat Jan  6 08:40:14 UTC 2007