Trace number 213273

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 ESACSAT 202.063 202.462

DiagnosticValue
CHECKS32939754
NODES2080798

General information on the benchmark

NamepseudoSeries/aim/
aim-200-2-0-1.xml
MD5SUMc6075b2af286ce7888ebbe173302d2e2
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.177972
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables400
Number of constraints600
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension600
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=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/213273-1168225545/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.44	     nbVariables=400  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.44	       =>  wckTime=0.128  cpuTime=0.11  mem=7M50
0.44	   
0.44	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
0.70	     nbConstraints=600  nbConvertedConstraints=201  nbConvertConstraintsChecks=16  nbExtensionStructures=2
0.70	     nbSharedExtensionStructures=199  nbConflictsStructures=3  nbSharedConflictsStructures=597
0.70	     nbSharedBinaryRepresentations=5  nbEvaluationManagers=1  nbSharedEvaluationManagers=398  maxDegree=4  maxArity=3
0.70	       =>  wckTime=0.381  cpuTime=0.28  mem=11M926
0.74	   
0.74	   solver IterativeSystematicSolver being built... 
0.93	       =>  wckTime=0.62  cpuTime=0.45  mem=18M763
1.02	   
1.02	   preprocessing
1.02	     nbConstraintChecks=1383  nbValidityChecks=162  nbPropagations=1278  nbRevisions=1193  nbUselessRevisions=782
1.02	     nbSingletonTests=491  nbEffectiveSingletonTests=0  nbESACBranches=10  nbRemovedValues=0  detectedInconsistency=no
1.02	       =>  wckTime=0.085  cpuTime=0.06  mem=18M763
1.06	   
1.06	   search
1.06	     run=0  nbConstraintChecks=374  nbValidityChecks=62  nbPropagations=1480  nbRevisions=1506  nbUselessRevisions=929
1.06	     nbAssignments=129  nbFailedAssignments=5  nbBacktracks=12  nbVisitedNodes=139  nbRestartNogoods=0  mapSize=7
1.06	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.129  cpuTime=0.1  mem=18M763
1.10	   
1.10	   search
1.10	     run=1  nbConstraintChecks=1081  nbValidityChecks=421  nbPropagations=3438  nbRevisions=3771
1.10	     nbUselessRevisions=2305  nbAssignments=418  nbFailedAssignments=12  nbBacktracks=42  nbVisitedNodes=289
1.10	     nbRestartNogoods=2  mapSize=15  nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.166  cpuTime=0.13  mem=18M763
1.14	   
1.14	   search
1.14	     run=2  nbConstraintChecks=2191  nbValidityChecks=963  nbPropagations=6125  nbRevisions=7182
1.14	     nbUselessRevisions=4411  nbAssignments=881  nbFailedAssignments=19  nbBacktracks=65  nbVisitedNodes=452
1.14	     nbRestartNogoods=5  mapSize=21  nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.209  cpuTime=0.17  mem=18M763
1.20	   
1.20	   search
1.20	     run=3  nbConstraintChecks=3625  nbValidityChecks=1751  nbPropagations=9779  nbRevisions=12137
1.20	     nbUselessRevisions=7526  nbAssignments=1513  nbFailedAssignments=25  nbBacktracks=102  nbVisitedNodes=643
1.20	     nbRestartNogoods=9  mapSize=31  nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.265  cpuTime=0.21  mem=18M763
1.25	   
1.25	   search
1.25	     run=4  nbConstraintChecks=5133  nbValidityChecks=2719  nbPropagations=14444  nbRevisions=18797
1.25	     nbUselessRevisions=11676  nbAssignments=2116  nbFailedAssignments=37  nbBacktracks=164  nbVisitedNodes=871
1.25	     nbRestartNogoods=12  mapSize=46  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.314  cpuTime=0.26  mem=18M763
1.30	   
1.30	   search
1.30	     run=5  nbConstraintChecks=6514  nbValidityChecks=3526  nbPropagations=19930  nbRevisions=26931
1.30	     nbUselessRevisions=16615  nbAssignments=2495  nbFailedAssignments=54  nbBacktracks=277  nbVisitedNodes=1123
1.30	     nbRestartNogoods=15  mapSize=70  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.362  cpuTime=0.3  mem=18M763
1.33	   
1.33	   search
1.33	     run=6  nbConstraintChecks=7633  nbValidityChecks=4191  nbPropagations=26042  nbRevisions=36142
1.33	     nbUselessRevisions=22027  nbAssignments=2675  nbFailedAssignments=74  nbBacktracks=391  nbVisitedNodes=1324
1.33	     nbRestartNogoods=18  mapSize=107  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.392  cpuTime=0.33  mem=18M763
1.37	   
1.37	   search
1.37	     run=7  nbConstraintChecks=9089  nbValidityChecks=5141  nbPropagations=32914  nbRevisions=46858
1.37	     nbUselessRevisions=28178  nbAssignments=2931  nbFailedAssignments=100  nbBacktracks=561  nbVisitedNodes=1633
1.37	     nbRestartNogoods=20  mapSize=158  nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.433  cpuTime=0.37  mem=18M763
1.43	   
1.43	   search
1.43	     run=8  nbConstraintChecks=13097  nbValidityChecks=8103  nbPropagations=41931  nbRevisions=61937
1.43	     nbUselessRevisions=36528  nbAssignments=3315  nbFailedAssignments=179  nbBacktracks=819  nbVisitedNodes=2127
1.43	     nbRestartNogoods=22  mapSize=296  nbInferences=0  nbTooLargeKeys=0
1.43	       =>  wckTime=0.492  cpuTime=0.42  mem=18M763
1.51	   
1.51	   search
1.51	     run=9  nbConstraintChecks=20109  nbValidityChecks=12929  nbPropagations=54723  nbRevisions=84307
1.51	     nbUselessRevisions=48334  nbAssignments=3882  nbFailedAssignments=335  nbBacktracks=1206  nbVisitedNodes=2979
1.51	     nbRestartNogoods=27  mapSize=587  nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.576  cpuTime=0.5  mem=19M738
1.63	   
1.63	   search
1.63	     run=10  nbConstraintChecks=32095  nbValidityChecks=21029  nbPropagations=74213  nbRevisions=118941
1.63	     nbUselessRevisions=65611  nbAssignments=4690  nbFailedAssignments=541  nbBacktracks=1792  nbVisitedNodes=4197
1.63	     nbRestartNogoods=30  mapSize=990  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.697  cpuTime=0.61  mem=19M738
1.65	   
1.65	   INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=19M738)
1.76	   
1.76	   search
1.76	     run=11  nbConstraintChecks=46061  nbValidityChecks=31596  nbPropagations=101830  nbRevisions=169322
1.76	     nbUselessRevisions=90330  nbAssignments=5807  nbFailedAssignments=779  nbBacktracks=2657  nbVisitedNodes=5789
1.76	     nbRestartNogoods=34
1.76	       =>  wckTime=0.82  cpuTime=0.73  mem=19M738
1.93	   
1.93	   search
1.93	     run=12  nbConstraintChecks=66686  nbValidityChecks=46133  nbPropagations=140750  nbRevisions=241511
1.93	     nbUselessRevisions=125344  nbAssignments=7584  nbFailedAssignments=1227  nbBacktracks=3955  nbVisitedNodes=8416
1.93	     nbRestartNogoods=39
1.93	       =>  wckTime=0.999  cpuTime=0.91  mem=19M738
2.19	   
2.19	   search
2.20	     run=13  nbConstraintChecks=97411  nbValidityChecks=67479  nbPropagations=196859  nbRevisions=346030
2.20	     nbUselessRevisions=175279  nbAssignments=10153  nbFailedAssignments=1814  nbBacktracks=5909  nbVisitedNodes=12047
2.20	     nbRestartNogoods=48
2.20	       =>  wckTime=1.259  cpuTime=1.17  mem=19M738
2.55	   
2.55	   search
2.55	     run=14  nbConstraintChecks=154885  nbValidityChecks=117176  nbPropagations=285263  nbRevisions=528237
2.55	     nbUselessRevisions=269722  nbAssignments=13877  nbFailedAssignments=2574  nbBacktracks=8830  nbVisitedNodes=17262
2.55	     nbRestartNogoods=53
2.55	       =>  wckTime=1.613  cpuTime=1.52  mem=19M738
3.14	   
3.14	   search
3.14	     run=15  nbConstraintChecks=274878  nbValidityChecks=231003  nbPropagations=440938  nbRevisions=884571
3.14	     nbUselessRevisions=468385  nbAssignments=19691  nbFailedAssignments=3936  nbBacktracks=13208  nbVisitedNodes=25666
3.14	     nbRestartNogoods=59
3.14	       =>  wckTime=2.207  cpuTime=2.11  mem=19M738
3.96	   
3.96	   search
3.96	     run=16  nbConstraintChecks=412371  nbValidityChecks=354963  nbPropagations=674959  nbRevisions=1430910
3.96	     nbUselessRevisions=776784  nbAssignments=28305  nbFailedAssignments=5788  nbBacktracks=19778  nbVisitedNodes=37825
3.96	     nbRestartNogoods=69
3.96	       =>  wckTime=3.027  cpuTime=2.93  mem=19M738
5.13	   
5.13	   search
5.13	     run=17  nbConstraintChecks=575577  nbValidityChecks=487628  nbPropagations=997643  nbRevisions=2169196
5.13	     nbUselessRevisions=1186542  nbAssignments=40944  nbFailedAssignments=8532  nbBacktracks=29635  nbVisitedNodes=55552
5.13	     nbRestartNogoods=80
5.13	       =>  wckTime=4.19  cpuTime=4.09  mem=19M738
6.89	   
6.89	   search
6.89	     run=18  nbConstraintChecks=824793  nbValidityChecks=677093  nbPropagations=1460911  nbRevisions=3191678
6.89	     nbUselessRevisions=1738096  nbAssignments=59846  nbFailedAssignments=12574  nbBacktracks=44420
6.89	     nbVisitedNodes=82431  nbRestartNogoods=88
6.89	       =>  wckTime=5.959  cpuTime=5.86  mem=19M738
9.72	   
9.72	   search
9.72	     run=19  nbConstraintChecks=1260168  nbValidityChecks=1006171  nbPropagations=2172608  nbRevisions=4699014
9.72	     nbUselessRevisions=2519409  nbAssignments=88831  nbFailedAssignments=19272  nbBacktracks=66590
9.72	     nbVisitedNodes=124133  nbRestartNogoods=97
9.72	       =>  wckTime=8.785  cpuTime=8.68  mem=19M738
13.99	   
13.99	   search
13.99	     run=20  nbConstraintChecks=1963573  nbValidityChecks=1630577  nbPropagations=3282405  nbRevisions=7152290
13.99	     nbUselessRevisions=3841510  nbAssignments=132371  nbFailedAssignments=29506  nbBacktracks=99842
13.99	     nbVisitedNodes=187793  nbRestartNogoods=109
13.99	       =>  wckTime=13.056  cpuTime=12.95  mem=19M738
20.48	   
20.48	   search
20.48	     run=21  nbConstraintChecks=3249231  nbValidityChecks=2871662  nbPropagations=5145741  nbRevisions=11470285
20.48	     nbUselessRevisions=6255868  nbAssignments=195353  nbFailedAssignments=42302  nbBacktracks=149721
20.48	     nbVisitedNodes=276203  nbRestartNogoods=125
20.48	       =>  wckTime=19.542  cpuTime=19.43  mem=19M738
29.35	   
29.35	   search
29.35	     run=22  nbConstraintChecks=4499822  nbValidityChecks=3883556  nbPropagations=7716782  nbRevisions=17259136
29.35	     nbUselessRevisions=9421652  nbAssignments=289753  nbFailedAssignments=61711  nbBacktracks=224539
29.35	     nbVisitedNodes=407912  nbRestartNogoods=144
29.35	       =>  wckTime=28.418  cpuTime=28.32  mem=19M738
41.34	   
41.34	   search
41.34	     run=23  nbConstraintChecks=6109736  nbValidityChecks=5312051  nbPropagations=11219734  nbRevisions=25232988
41.34	     nbUselessRevisions=13820732  nbAssignments=423801  nbFailedAssignments=83443  nbBacktracks=336766
41.34	     nbVisitedNodes=582024  nbRestartNogoods=151
41.34	       =>  wckTime=40.401  cpuTime=40.26  mem=19M738
62.28	   
62.28	   search
62.28	     run=24  nbConstraintChecks=9600112  nbValidityChecks=8411325  nbPropagations=16710086  nbRevisions=37893312
62.28	     nbUselessRevisions=20873014  nbAssignments=639282  nbFailedAssignments=130466  nbBacktracks=505107
62.28	     nbVisitedNodes=888611  nbRestartNogoods=173
62.28	       =>  wckTime=61.348  cpuTime=61.2  mem=19M738
91.94	   
91.95	   search
91.95	     run=25  nbConstraintChecks=13665598  nbValidityChecks=11570700  nbPropagations=24503486  nbRevisions=55320341
91.95	     nbUselessRevisions=30355128  nbAssignments=960772  nbFailedAssignments=199272  nbBacktracks=757619
91.95	     nbVisitedNodes=1341866  nbRestartNogoods=188
91.95	       =>  wckTime=91.009  cpuTime=90.83  mem=19M738
135.90	   
135.90	   search
135.90	     run=26  nbConstraintChecks=20102389  nbValidityChecks=16734443  nbPropagations=35992358  nbRevisions=80536489
135.90	     nbUselessRevisions=43867515  nbAssignments=1434338  nbFailedAssignments=293984  nbBacktracks=1136386
135.90	     nbVisitedNodes=1997620  nbRestartNogoods=196
135.90	       =>  wckTime=134.963  cpuTime=134.74  mem=19M738
202.40	   
202.40	   search
202.40	     run=27  nbConstraintChecks=32938371  nbValidityChecks=28554200  nbPropagations=55100439  nbRevisions=123415037
202.40	     nbUselessRevisions=67231733  nbAssignments=2080798  nbFailedAssignments=429725  nbBacktracks=1646676
202.40	     nbVisitedNodes=2899930  nbRestartNogoods=209
202.40	       =>  wckTime=201.464  cpuTime=201.05  mem=19M738
202.40	   
202.40	   global
202.40	     nbConstraintChecks=32939754  nbValidityChecks=28554362  nbPropagations=55101717  nbRevisions=123416230
202.40	     nbUselessRevisions=67232515  nbRestartNogoods=209  solvingWckTime=201.466  solvingCpuTime=201.05  expiredTime=no
202.40	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=201.55
202.40	       =>  wckTime=202.087  cpuTime=201.5  mem=19M738
202.41	   
202.41	s SATISFIABLE
202.41	v 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 
202.41	d NODES 2080798
202.41	d CHECKS 32939754
202.41	   
202.41	   totalWckTime=202.163  totalCpuTime=201.55

Verifier Data (download as text)

OK

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-213273-1168225545 -o ROOT/results/node55/solver-213273-1168225545 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213273-1168225545/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.39 1.29 1.66 3/68 26040
/proc/meminfo: memFree=1841400/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=1500 CPUtime=0
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 87 0 0 0 0 0 0 0 19 0 1 0 170953591 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6812867 0 0 4096 0 0 0 0 17 1 0 0
/proc/26039/statm: 375 69 55 14 0 8 0

[startup+0.105362 s]
/proc/loadavg: 0.39 1.29 1.66 3/68 26040
/proc/meminfo: memFree=1841400/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=913068 CPUtime=0.08
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 2869 0 1 0 6 2 0 0 23 0 8 0 170953591 934981632 2615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228267 2616 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.517373 s]
/proc/loadavg: 0.39 1.29 1.66 3/68 26040
/proc/meminfo: memFree=1841400/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915328 CPUtime=0.48
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 6442 0 1 0 43 5 0 0 16 0 8 0 170953591 937295872 6181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26039/statm: 228832 6181 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34045 s]
/proc/loadavg: 0.39 1.29 1.66 2/75 26089
/proc/meminfo: memFree=1813376/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=1.31
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9739 0 1 0 122 9 0 0 16 0 8 0 170953591 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26039/statm: 228893 9477 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.24
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 426 0 0 0 23 1 0 0 16 0 8 0 170953600 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9477 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) 915572

[startup+2.9776 s]
/proc/loadavg: 0.39 1.29 1.66 2/75 26089
/proc/meminfo: memFree=1812608/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=2.93
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9843 0 1 0 284 9 0 0 18 0 8 0 170953591 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073898184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9579 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 17 0 8 0 170953596 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915572

[startup+6.26693 s]
/proc/loadavg: 0.52 1.30 1.67 3/88 26103
/proc/meminfo: memFree=1800280/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=6.23
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9853 0 1 0 613 10 0 0 25 0 8 0 170953591 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9588 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915572

[startup+12.7536 s]
/proc/loadavg: 0.63 1.31 1.67 3/88 26103
/proc/meminfo: memFree=1800088/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=12.71
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9859 0 1 0 1261 10 0 0 25 0 8 0 170953591 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9594 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915572

[startup+25.6218 s]
/proc/loadavg: 0.94 1.34 1.67 3/88 26103
/proc/meminfo: memFree=1799768/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=25.57
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9866 0 1 0 2547 10 0 0 25 0 8 0 170953591 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911834 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9601 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915572

[startup+51.2343 s]
/proc/loadavg: 1.30 1.39 1.68 3/88 26103
/proc/meminfo: memFree=1799576/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=51.14
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9872 0 1 0 5104 10 0 0 25 0 8 0 170953591 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073901663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9607 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915572

[startup+102.454 s]
/proc/loadavg: 1.69 1.48 1.69 3/88 26103
/proc/meminfo: memFree=1799512/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=102.32
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9878 0 1 0 10222 10 0 0 25 0 8 0 170953591 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9613 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915572

[startup+162.537 s]
/proc/loadavg: 1.89 1.58 1.71 3/88 26103
/proc/meminfo: memFree=1799512/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=162.36
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9881 0 1 0 16225 11 0 0 25 0 8 0 170953591 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9616 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 915572

Child status: 0
Real time (s): 202.462
CPU time (s): 202.063
CPU user time (s): 201.944
CPU system time (s): 0.118981
CPU usage (%): 99.8031
Max. virtual memory (cumulated for all children) (KiB): 915572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 201.944
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9975
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= 5109
involuntary context switches= 5579

runsolver used 0.26296 s user time and 0.611906 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Jan  8 03:05:48 UTC 2007


IDJOB= 213273
IDBENCH= 4835
FILE ID= node55/213273-1168225545

PBS_JOBID= 3481044

Free space on /tmp= 66563 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-2-0-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213273-1168225545/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-213273-1168225545 -o ROOT/results/node55/solver-213273-1168225545 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213273-1168225545/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c6075b2af286ce7888ebbe173302d2e2

RANDOM SEED= 197251565

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:       1841880 kB
Buffers:         36508 kB
Cached:         101176 kB
SwapCached:        424 kB
Active:          82920 kB
Inactive:        75372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841880 kB
SwapTotal:     4192956 kB
SwapFree:      4192192 kB
Dirty:            2004 kB
Writeback:           0 kB
Mapped:          29364 kB
Slab:            41540 kB
Committed_AS:  3619876 kB
PageTables:       1572 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= 66563 MiB



End job on node55 on Mon Jan  8 03:09:23 UTC 2007