Trace number 215665

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 314.036 315.561

DiagnosticValue
CHECKS93010471
NODES61041

General information on the benchmark

NamepseudoSeries/mps/
mps-neos16.xml
MD5SUM35e47a33c9b2dd33e1201c282fdf8c6b
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 benchmark6.28604
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables464
Number of constraints1069
Maximum constraint arity128
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1069
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/215665-1168235639/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.45	     nbVariables=464  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.45	       =>  wckTime=0.137  cpuTime=0.11  mem=7M50
0.45	   
0.45	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
0.98	     nbConstraints=555  nbMergedConstraints=514  nbConvertedConstraints=168  nbConvertConstraintsChecks=524
0.98	     nbExtensionStructures=1  nbSharedExtensionStructures=167  nbConflictsStructures=5  nbSharedConflictsStructures=540
0.98	     nbUnbuiltConflictsStructures=9  nbSharedBinaryRepresentations=2  nbEvaluationManagers=13
0.98	     nbSharedEvaluationManagers=374  maxDegree=30  maxArity=128
0.98	       =>  wckTime=0.663  cpuTime=0.49  mem=10M150
1.02	   
1.02	   solver IterativeSystematicSolver being built... 
1.27	       =>  wckTime=0.957  cpuTime=0.68  mem=23M60
15.81	   
15.81	   preprocessing
15.81	     nbConstraintChecks=4911306  nbValidityChecks=33158  nbPropagations=1320  nbRevisions=18836
15.81	     nbUselessRevisions=18607  nbSingletonTests=658  nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0
15.81	     detectedInconsistency=no
15.81	       =>  wckTime=14.538  cpuTime=14.45  mem=23M60
18.87	   
18.87	   search
18.87	     run=0  nbConstraintChecks=939618  nbValidityChecks=25423  nbPropagations=1744  nbRevisions=32697
18.87	     nbUselessRevisions=31992  nbAssignments=82  nbFailedAssignments=13  nbBacktracks=13  nbVisitedNodes=101
18.87	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
18.87	       =>  wckTime=17.589  cpuTime=17.47  mem=23M60
28.86	   
28.86	   search
28.86	     run=1  nbConstraintChecks=4220568  nbValidityChecks=171194  nbPropagations=5685  nbRevisions=143604
28.86	     nbUselessRevisions=140283  nbAssignments=587  nbFailedAssignments=26  nbBacktracks=47  nbVisitedNodes=213
28.86	     nbRestartNogoods=12  mapSize=21  nbInferences=0  nbTooLargeKeys=0
28.86	       =>  wckTime=27.588  cpuTime=27.41  mem=23M60
37.77	   
37.78	   search
37.78	     run=2  nbConstraintChecks=7113490  nbValidityChecks=272601  nbPropagations=11140  nbRevisions=308893
37.78	     nbUselessRevisions=301559  nbAssignments=936  nbFailedAssignments=38  nbBacktracks=88  nbVisitedNodes=327
37.78	     nbRestartNogoods=21  mapSize=34  nbInferences=0  nbTooLargeKeys=0
37.78	       =>  wckTime=36.499  cpuTime=36.27  mem=23M60
46.10	   
46.10	   search
46.10	     run=3  nbConstraintChecks=9850617  nbValidityChecks=361787  nbPropagations=18088  nbRevisions=522371
46.10	     nbUselessRevisions=509481  nbAssignments=1223  nbFailedAssignments=58  nbBacktracks=123  nbVisitedNodes=458
46.10	     nbRestartNogoods=28  mapSize=56  nbInferences=0  nbTooLargeKeys=0
46.10	       =>  wckTime=44.818  cpuTime=44.55  mem=23M60
51.22	   
51.22	   search
51.22	     run=4  nbConstraintChecks=11539307  nbValidityChecks=455178  nbPropagations=26223  nbRevisions=786018
51.22	     nbUselessRevisions=766619  nbAssignments=1539  nbFailedAssignments=73  nbBacktracks=176  nbVisitedNodes=578
51.22	     nbRestartNogoods=38  mapSize=77  nbInferences=0  nbTooLargeKeys=0
51.22	       =>  wckTime=49.945  cpuTime=49.65  mem=23M60
56.45	   
56.45	   search
56.45	     run=5  nbConstraintChecks=13258771  nbValidityChecks=529218  nbPropagations=35803  nbRevisions=1090833
56.45	     nbUselessRevisions=1063243  nbAssignments=1803  nbFailedAssignments=112  nbBacktracks=251  nbVisitedNodes=817
56.45	     nbRestartNogoods=43  mapSize=120  nbInferences=0  nbTooLargeKeys=0
56.45	       =>  wckTime=55.171  cpuTime=54.84  mem=23M60
64.67	   
64.67	   search
64.67	     run=6  nbConstraintChecks=15934184  nbValidityChecks=717417  nbPropagations=48659  nbRevisions=1498697
64.67	     nbUselessRevisions=1459740  nbAssignments=2524  nbFailedAssignments=154  nbBacktracks=364  nbVisitedNodes=1095
64.67	     nbRestartNogoods=59  mapSize=183  nbInferences=0  nbTooLargeKeys=0
64.67	       =>  wckTime=63.391  cpuTime=63.02  mem=24M54
69.67	   
69.67	   search
69.67	     run=7  nbConstraintChecks=17516689  nbValidityChecks=848785  nbPropagations=64127  nbRevisions=1980038
69.67	     nbUselessRevisions=1926965  nbAssignments=3035  nbFailedAssignments=202  nbBacktracks=547  nbVisitedNodes=1486
69.67	     nbRestartNogoods=68  mapSize=273  nbInferences=0  nbTooLargeKeys=0
69.67	       =>  wckTime=68.397  cpuTime=68.0  mem=24M54
82.95	   
82.95	   search
82.95	     run=8  nbConstraintChecks=21786071  nbValidityChecks=1076646  nbPropagations=83165  nbRevisions=2588216
82.95	     nbUselessRevisions=2516712  nbAssignments=3790  nbFailedAssignments=282  nbBacktracks=810  nbVisitedNodes=2006
82.95	     nbRestartNogoods=83  mapSize=414  nbInferences=0  nbTooLargeKeys=0
82.95	       =>  wckTime=81.669  cpuTime=81.2  mem=24M54
89.50	   
89.50	   search
89.50	     run=9  nbConstraintChecks=23898231  nbValidityChecks=1255539  nbPropagations=106138  nbRevisions=3297715
89.50	     nbUselessRevisions=3202683  nbAssignments=4498  nbFailedAssignments=386  nbBacktracks=1194  nbVisitedNodes=2795
89.50	     nbRestartNogoods=90  mapSize=603  nbInferences=0  nbTooLargeKeys=0
89.50	       =>  wckTime=88.22  cpuTime=87.71  mem=24M54
99.98	   
99.98	   search
99.98	     run=10  nbConstraintChecks=27282620  nbValidityChecks=1594781  nbPropagations=136546  nbRevisions=4200424
99.98	     nbUselessRevisions=4073568  nbAssignments=5869  nbFailedAssignments=544  nbBacktracks=1782  nbVisitedNodes=3901
99.98	     nbRestartNogoods=114  mapSize=901  nbInferences=0  nbTooLargeKeys=0
99.98	       =>  wckTime=98.706  cpuTime=98.14  mem=25M49
107.93	   
107.93	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=25M49)
112.27	   
112.27	   search
112.27	     run=11  nbConstraintChecks=31144509  nbValidityChecks=1985998  nbPropagations=175051  nbRevisions=5328792
112.27	     nbUselessRevisions=5160474  nbAssignments=7280  nbFailedAssignments=775  nbBacktracks=2647  nbVisitedNodes=5467
112.27	     nbRestartNogoods=127
112.27	       =>  wckTime=110.997  cpuTime=110.38  mem=25M49
121.98	   
121.98	   search
121.98	     run=12  nbConstraintChecks=33534967  nbValidityChecks=2492359  nbPropagations=225560  nbRevisions=6754409
121.98	     nbUselessRevisions=6528369  nbAssignments=9394  nbFailedAssignments=1096  nbBacktracks=3961  nbVisitedNodes=7830
121.98	     nbRestartNogoods=141
121.98	       =>  wckTime=120.708  cpuTime=120.05  mem=25M49
139.52	   
139.52	   search
139.52	     run=13  nbConstraintChecks=37860831  nbValidityChecks=3122069  nbPropagations=290652  nbRevisions=8544844
139.52	     nbUselessRevisions=8243571  nbAssignments=12527  nbFailedAssignments=1464  nbBacktracks=5907  nbVisitedNodes=10915
139.52	     nbRestartNogoods=165
139.52	       =>  wckTime=138.248  cpuTime=137.5  mem=25M49
162.88	   
162.88	   search
162.88	     run=14  nbConstraintChecks=42975644  nbValidityChecks=3889625  nbPropagations=375585  nbRevisions=10786839
162.88	     nbUselessRevisions=10384445  nbAssignments=16233  nbFailedAssignments=1989  nbBacktracks=8830  nbVisitedNodes=15545
162.88	     nbRestartNogoods=178
162.88	       =>  wckTime=161.604  cpuTime=160.74  mem=25M49
210.35	   
210.36	   search
210.36	     run=15  nbConstraintChecks=57604299  nbValidityChecks=5533045  nbPropagations=493065  nbRevisions=13989425
210.36	     nbUselessRevisions=13441702  nbAssignments=21803  nbFailedAssignments=3020  nbBacktracks=13208
210.36	     nbVisitedNodes=22906  nbRestartNogoods=189
210.36	       =>  wckTime=209.079  cpuTime=207.99  mem=25M49
227.37	   
227.37	   search
227.37	     run=16  nbConstraintChecks=62444444  nbValidityChecks=6687316  nbPropagations=643420  nbRevisions=17875127
227.37	     nbUselessRevisions=17141391  nbAssignments=29445  nbFailedAssignments=3953  nbBacktracks=19785
227.37	     nbVisitedNodes=32481  nbRestartNogoods=198
227.37	       =>  wckTime=226.091  cpuTime=224.92  mem=25M49
272.72	   
272.72	   search
272.72	     run=17  nbConstraintChecks=75946475  nbValidityChecks=8935258  nbPropagations=849516  nbRevisions=23083580
272.72	     nbUselessRevisions=22093255  nbAssignments=41421  nbFailedAssignments=5785  nbBacktracks=29645
272.72	     nbVisitedNodes=47777  nbRestartNogoods=212
272.72	       =>  wckTime=271.442  cpuTime=270.06  mem=25M49
306.76	   
306.76	   search
306.76	     run=18  nbConstraintChecks=85510960  nbValidityChecks=11354046  nbPropagations=1127202  nbRevisions=29727637
306.76	     nbUselessRevisions=28392881  nbAssignments=58395  nbFailedAssignments=7826  nbBacktracks=44434
306.76	     nbVisitedNodes=68979  nbRestartNogoods=225
306.76	       =>  wckTime=305.484  cpuTime=303.94  mem=25M49
315.51	   
315.51	   search
315.51	     run=19  nbConstraintChecks=88099165  nbValidityChecks=11800328  nbPropagations=1416035  nbRevisions=36633281
315.51	     nbUselessRevisions=34940585  nbAssignments=61041  nbFailedAssignments=8167  nbBacktracks=46143
315.51	     nbVisitedNodes=72177  nbRestartNogoods=235
315.51	       =>  wckTime=314.233  cpuTime=312.65  mem=25M49
315.51	   
315.51	   global
315.51	     nbConstraintChecks=93010471  nbValidityChecks=11833486  nbPropagations=1417355  nbRevisions=36652117
315.51	     nbUselessRevisions=34959192  nbRestartNogoods=235  solvingWckTime=314.234  solvingCpuTime=312.65  expiredTime=no
315.51	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=313.38
315.51	       =>  wckTime=315.194  cpuTime=313.33  mem=25M49
315.51	   
315.51	s SATISFIABLE
315.51	v 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 
315.51	d NODES 61041
315.51	d CHECKS 93010471
315.51	   
315.51	   totalWckTime=315.276  totalCpuTime=313.39

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/node14/watcher-215665-1168235639 -o ROOT/results/node14/solver-215665-1168235639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215665-1168235639/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.96 1.99 1.99 4/94 15590
/proc/meminfo: memFree=1094800/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=18540 CPUtime=0
/proc/15589/stat : 15589 (runsolver) R 15587 15589 15522 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 171958889 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15589/statm: 4635 279 244 17 0 2626 0

[startup+0.106577 s]
/proc/loadavg: 1.96 1.99 1.99 4/94 15590
/proc/meminfo: memFree=1094800/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=914988 CPUtime=0.09
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 2995 0 1 0 7 2 0 0 20 0 8 0 171958889 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072931672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51461 s]
/proc/loadavg: 1.96 1.99 1.99 4/94 15590
/proc/meminfo: memFree=1094800/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915328 CPUtime=0.49
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 7133 0 1 0 44 5 0 0 18 0 8 0 171958889 937295872 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155889221 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228832 6872 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33969 s]
/proc/loadavg: 1.96 1.99 1.99 4/101 15597
/proc/meminfo: memFree=1024728/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=1.31
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18074 0 1 0 116 15 0 0 24 0 8 0 171958889 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17811 2545 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.27
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 417 0 0 0 25 2 0 0 15 0 8 0 171958897 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915528

[startup+2.98784 s]
/proc/loadavg: 2.04 2.01 1.99 3/101 15597
/proc/meminfo: memFree=1006808/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=2.95
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18085 0 1 0 280 15 0 0 25 0 8 0 171958889 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17821 2547 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 17 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.28
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 423 0 0 0 26 2 0 0 15 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915528

[startup+6.19014 s]
/proc/loadavg: 2.04 2.01 1.99 4/101 15597
/proc/meminfo: memFree=1006488/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=6.14
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18086 0 1 0 599 15 0 0 25 0 8 0 171958889 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17821 2547 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.28
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 424 0 0 0 26 2 0 0 15 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915528

[startup+12.6638 s]
/proc/loadavg: 2.19 2.04 2.01 4/101 15597
/proc/meminfo: memFree=1006168/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=12.59
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18088 0 1 0 1243 16 0 0 25 0 8 0 171958889 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17822 2547 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.28
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 425 0 0 0 26 2 0 0 16 0 8 0 171958897 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915528

[startup+25.519 s]
/proc/loadavg: 2.31 2.07 2.02 4/101 15597
/proc/meminfo: memFree=1005784/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=25.38
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18104 0 1 0 2522 16 0 0 25 0 8 0 171958889 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17833 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 17 0 8 0 171958894 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.3
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 438 0 0 0 28 2 0 0 15 0 8 0 171958897 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915528

[startup+51.1364 s]
/proc/loadavg: 2.56 2.15 2.04 4/101 15597
/proc/meminfo: memFree=1005400/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=50.87
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18114 0 1 0 5071 16 0 0 25 0 8 0 171958889 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074001371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17839 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 17 0 8 0 171958894 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.31
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 446 0 0 0 29 2 0 0 17 0 8 0 171958897 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915528

[startup+102.359 s]
/proc/loadavg: 2.81 2.28 2.09 4/101 15597
/proc/meminfo: memFree=1004888/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=101.85
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18136 0 1 0 10168 17 0 0 25 0 8 0 171958889 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17852 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.34
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 460 0 0 0 32 2 0 0 15 0 8 0 171958897 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915528

[startup+162.427 s]
/proc/loadavg: 2.50 2.30 2.10 3/101 15597
/proc/meminfo: memFree=1004440/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=161.64
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18140 0 1 0 16146 18 0 0 25 0 8 0 171958889 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17854 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.35
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 463 0 0 0 33 2 0 0 16 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 915528

[startup+222.499 s]
/proc/loadavg: 2.18 2.24 2.09 3/101 15597
/proc/meminfo: memFree=1004184/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=221.43
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18140 0 1 0 22125 18 0 0 25 0 8 0 171958889 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17854 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.35
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 463 0 0 0 33 2 0 0 16 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (KiB) 915528

[startup+282.573 s]
/proc/loadavg: 2.07 2.19 2.09 3/101 15597
/proc/meminfo: memFree=1003928/2055920 swapFree=4182236/4192956
[pid=15589] ppid=15587 vsize=915528 CPUtime=281.23
/proc/15589/stat : 15589 (java) R 15587 15589 15522 0 -1 0 18141 0 1 0 28104 19 0 0 25 0 8 0 171958889 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15589/statm: 228882 17855 2548 14 0 215352 0
[pid=15589/tid=15591] ppid=15587 vsize=915528 CPUtime=0.04
/proc/15589/task/15591/stat : 15591 (java) S 15587 15589 15522 0 -1 64 1007 0 0 0 4 0 0 0 16 0 8 0 171958894 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15592] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15592/stat : 15592 (java) S 15587 15589 15522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15593] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15593/stat : 15593 (java) S 15587 15589 15522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171958894 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15594] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15594/stat : 15594 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171958897 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15595] ppid=15587 vsize=915528 CPUtime=0.36
/proc/15589/task/15595/stat : 15595 (java) S 15587 15589 15522 0 -1 64 464 0 0 0 33 3 0 0 16 0 8 0 171958897 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15596] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15596/stat : 15596 (java) S 15587 15589 15522 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171958897 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15589/tid=15597] ppid=15587 vsize=915528 CPUtime=0
/proc/15589/task/15597/stat : 15597 (java) S 15587 15589 15522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171958897 937500672 17855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.23
Current children cumulated vsize (KiB) 915528

Child status: 0
Real time (s): 315.561
CPU time (s): 314.036
CPU user time (s): 313.829
CPU system time (s): 0.206968
CPU usage (%): 99.5169
Max. virtual memory (cumulated for all children) (KiB): 915528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 313.829
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18149
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= 7910
involuntary context switches= 17834

runsolver used 0.372943 s user time and 1.03284 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Mon Jan  8 05:54:00 UTC 2007


IDJOB= 215665
IDBENCH= 5019
FILE ID= node14/215665-1168235639

PBS_JOBID= 3481256

Free space on /tmp= 66338 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-neos16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215665-1168235639/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-215665-1168235639 -o ROOT/results/node14/solver-215665-1168235639 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215665-1168235639/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  35e47a33c9b2dd33e1201c282fdf8c6b

RANDOM SEED= 773140386

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.227
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.227
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:       1095280 kB
Buffers:         52540 kB
Cached:         138548 kB
SwapCached:       4208 kB
Active:         804640 kB
Inactive:       102772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1095280 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            2068 kB
Writeback:           0 kB
Mapped:         733096 kB
Slab:            36812 kB
Committed_AS:  6234812 kB
PageTables:       3544 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= 66338 MiB



End job on node14 on Mon Jan  8 05:59:15 UTC 2007