Trace number 210137

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACUNSAT 439.623 440.146

DiagnosticValue
CHECKS30362615
NODES422131

General information on the benchmark

NamepseudoSeries/
ssa/ssa-2670-141.xml
MD5SUM0c506b62d09cb6d96e76e839d1a3bf47
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.44
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables1972
Number of constraints3297
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3297
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210137-1168195895/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.54	     nbVariables=1972  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.54	       =>  wckTime=0.234  cpuTime=0.16  mem=9M844
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
1.11	     nbConstraints=3297  nbSingletonDomainVariables=30  nbConvertedConstraints=2828  nbConvertConstraintsChecks=779
1.11	     nbExtensionStructures=7  nbSharedExtensionStructures=2821  nbConflictsStructures=53
1.11	     nbSharedConflictsStructures=3244  nbSharedBinaryRepresentations=15  nbEvaluationManagers=46
1.11	     nbSharedEvaluationManagers=423  maxDegree=32  maxArity=5
1.11	       =>  wckTime=0.805  cpuTime=0.65  mem=30M323
1.18	   
1.18	   solver IterativeSystematicSolver being built... 
1.45	       =>  wckTime=1.153  cpuTime=0.87  mem=28M478
3.20	   
3.20	   preprocessing
3.20	     nbConstraintChecks=41193  nbValidityChecks=3780  nbPropagations=14829  nbRevisions=31662  nbUselessRevisions=22628
3.20	     nbSingletonTests=4017  nbEffectiveSingletonTests=1  nbESACBranches=11  nbRemovedValues=6  detectedInconsistency=no
3.20	       =>  wckTime=1.739  cpuTime=1.69  mem=28M478
3.66	   
3.66	   search
3.66	     run=0  nbConstraintChecks=6582  nbValidityChecks=744  nbPropagations=16608  nbRevisions=36267
3.66	     nbUselessRevisions=25464  nbAssignments=327  nbFailedAssignments=2  nbBacktracks=32  nbVisitedNodes=333
3.66	     nbRestartNogoods=0  mapSize=1  nbInferences=2  nbTooLargeKeys=0
3.66	       =>  wckTime=2.204  cpuTime=2.13  mem=28M478
4.15	   
4.15	   search
4.15	     run=1  nbConstraintChecks=22103  nbValidityChecks=2520  nbPropagations=37562  nbRevisions=83557
4.15	     nbUselessRevisions=57723  nbAssignments=907  nbFailedAssignments=3  nbBacktracks=281  nbVisitedNodes=675
4.15	     nbRestartNogoods=2  mapSize=3  nbInferences=4  nbTooLargeKeys=0
4.15	       =>  wckTime=2.693  cpuTime=2.62  mem=29M451
4.58	   
4.58	   search
4.58	     run=2  nbConstraintChecks=30230  nbValidityChecks=3522  nbPropagations=60832  nbRevisions=136628
4.58	     nbUselessRevisions=93461  nbAssignments=1258  nbFailedAssignments=6  nbBacktracks=334  nbVisitedNodes=1033
4.58	     nbRestartNogoods=3  mapSize=8  nbInferences=5  nbTooLargeKeys=0
4.58	       =>  wckTime=3.116  cpuTime=3.04  mem=29M451
5.07	   
5.07	   search
5.07	     run=3  nbConstraintChecks=45399  nbValidityChecks=5276  nbPropagations=88376  nbRevisions=200358
5.07	     nbUselessRevisions=135647  nbAssignments=1754  nbFailedAssignments=8  nbBacktracks=377  nbVisitedNodes=1403
5.07	     nbRestartNogoods=5  mapSize=12  nbInferences=7  nbTooLargeKeys=0
5.07	       =>  wckTime=3.615  cpuTime=3.53  mem=29M451
5.54	   
5.54	   search
5.54	     run=4  nbConstraintChecks=52763  nbValidityChecks=6219  nbPropagations=118050  nbRevisions=269416
5.54	     nbUselessRevisions=181051  nbAssignments=2112  nbFailedAssignments=10  nbBacktracks=431  nbVisitedNodes=1766
5.54	     nbRestartNogoods=8  mapSize=15  nbInferences=8  nbTooLargeKeys=0
5.54	       =>  wckTime=4.077  cpuTime=3.98  mem=29M451
6.01	   
6.01	   search
6.01	     run=5  nbConstraintChecks=61224  nbValidityChecks=7362  nbPropagations=150172  nbRevisions=344628
6.01	     nbUselessRevisions=230176  nbAssignments=2500  nbFailedAssignments=13  nbBacktracks=519  nbVisitedNodes=2164
6.01	     nbRestartNogoods=9  mapSize=19  nbInferences=12  nbTooLargeKeys=0
6.01	       =>  wckTime=4.555  cpuTime=4.46  mem=29M451
6.50	   
6.50	   search
6.50	     run=6  nbConstraintChecks=69571  nbValidityChecks=8562  nbPropagations=184687  nbRevisions=425980
6.50	     nbUselessRevisions=283069  nbAssignments=2906  nbFailedAssignments=17  nbBacktracks=656  nbVisitedNodes=2578
6.50	     nbRestartNogoods=11  mapSize=23  nbInferences=14  nbTooLargeKeys=0
6.50	       =>  wckTime=5.044  cpuTime=4.94  mem=29M451
7.05	   
7.05	   search
7.05	     run=7  nbConstraintChecks=79163  nbValidityChecks=9835  nbPropagations=221934  nbRevisions=514228
7.05	     nbUselessRevisions=340143  nbAssignments=3360  nbFailedAssignments=23  nbBacktracks=855  nbVisitedNodes=3050
7.05	     nbRestartNogoods=13  mapSize=34  nbInferences=22  nbTooLargeKeys=0
7.05	       =>  wckTime=5.591  cpuTime=5.49  mem=30M425
7.60	   
7.60	   search
7.60	     run=8  nbConstraintChecks=96950  nbValidityChecks=12594  nbPropagations=264241  nbRevisions=615735
7.60	     nbUselessRevisions=405403  nbAssignments=3822  nbFailedAssignments=33  nbBacktracks=1210  nbVisitedNodes=3537
7.60	     nbRestartNogoods=14  mapSize=58  nbInferences=25  nbTooLargeKeys=0
7.60	       =>  wckTime=6.14  cpuTime=6.04  mem=30M425
8.46	   
8.46	   search
8.46	     run=9  nbConstraintChecks=116807  nbValidityChecks=15444  nbPropagations=312205  nbRevisions=731854
8.46	     nbUselessRevisions=479613  nbAssignments=4496  nbFailedAssignments=46  nbBacktracks=1774  nbVisitedNodes=4240
8.46	     nbRestartNogoods=15  mapSize=86  nbInferences=32  nbTooLargeKeys=0
8.46	       =>  wckTime=7.006  cpuTime=6.89  mem=30M425
9.44	   
9.44	   search
9.44	     run=10  nbConstraintChecks=145993  nbValidityChecks=19625  nbPropagations=368335  nbRevisions=869428
9.44	     nbUselessRevisions=567024  nbAssignments=5259  nbFailedAssignments=65  nbBacktracks=2417  nbVisitedNodes=5049
9.44	     nbRestartNogoods=16  mapSize=130  nbInferences=38  nbTooLargeKeys=0
9.44	       =>  wckTime=7.986  cpuTime=7.87  mem=30M425
10.74	   
10.74	   search
10.74	     run=11  nbConstraintChecks=174024  nbValidityChecks=23995  nbPropagations=432387  nbRevisions=1028133
10.74	     nbUselessRevisions=667598  nbAssignments=6319  nbFailedAssignments=82  nbBacktracks=3312  nbVisitedNodes=6147
10.74	     nbRestartNogoods=18  mapSize=164  nbInferences=44  nbTooLargeKeys=0
10.74	       =>  wckTime=9.285  cpuTime=9.17  mem=31M399
12.67	   
12.67	   search
12.67	     run=12  nbConstraintChecks=223801  nbValidityChecks=31243  nbPropagations=510547  nbRevisions=1223861
12.67	     nbUselessRevisions=791031  nbAssignments=7807  nbFailedAssignments=110  nbBacktracks=4609  nbVisitedNodes=7701
12.67	     nbRestartNogoods=22  mapSize=227  nbInferences=55  nbTooLargeKeys=0
12.67	       =>  wckTime=11.207  cpuTime=11.09  mem=31M399
15.45	   
15.45	   search
15.45	     run=13  nbConstraintChecks=368883  nbValidityChecks=52723  nbPropagations=628822  nbRevisions=1528193
15.45	     nbUselessRevisions=982545  nbAssignments=10102  nbFailedAssignments=195  nbBacktracks=6570  nbVisitedNodes=10112
15.45	     nbRestartNogoods=25  mapSize=452  nbInferences=116  nbTooLargeKeys=0
15.45	       =>  wckTime=13.989  cpuTime=13.87  mem=32M372
19.76	   
19.76	   search
19.76	     run=14  nbConstraintChecks=457500  nbValidityChecks=65494  nbPropagations=771548  nbRevisions=1898009
19.76	     nbUselessRevisions=1214859  nbAssignments=13241  nbFailedAssignments=271  nbBacktracks=9492  nbVisitedNodes=13412
19.76	     nbRestartNogoods=27  mapSize=610  nbInferences=132  nbTooLargeKeys=0
19.76	       =>  wckTime=18.297  cpuTime=18.17  mem=33M346
25.80	   
25.80	   search
25.80	     run=15  nbConstraintChecks=662887  nbValidityChecks=96871  nbPropagations=970798  nbRevisions=2422996
25.80	     nbUselessRevisions=1545334  nbAssignments=18052  nbFailedAssignments=422  nbBacktracks=13889  nbVisitedNodes=18583
25.80	     nbRestartNogoods=29  mapSize=1010  nbInferences=223  nbTooLargeKeys=0
25.80	       =>  wckTime=24.34  cpuTime=24.21  mem=36M267
34.75	   
34.75	   search
34.75	     run=16  nbConstraintChecks=1118510  nbValidityChecks=166485  nbPropagations=1296363  nbRevisions=3294150
34.75	     nbUselessRevisions=2093510  nbAssignments=25313  nbFailedAssignments=702  nbBacktracks=20457  nbVisitedNodes=26479
34.75	     nbRestartNogoods=37  mapSize=1693  nbInferences=395  nbTooLargeKeys=0
34.75	       =>  wckTime=33.295  cpuTime=33.16  mem=39M188
48.62	   
48.62	   search
48.62	     run=17  nbConstraintChecks=1772345  nbValidityChecks=265419  nbPropagations=1802996  nbRevisions=4660811
48.62	     nbUselessRevisions=2954255  nbAssignments=36172  nbFailedAssignments=1083  nbBacktracks=30323  nbVisitedNodes=38232
48.62	     nbRestartNogoods=46  mapSize=2772  nbInferences=675  nbTooLargeKeys=0
48.63	       =>  wckTime=47.166  cpuTime=47.02  mem=43M83
66.97	   
66.97	   search
66.97	     run=18  nbConstraintChecks=3025738  nbValidityChecks=440570  nbPropagations=2654316  nbRevisions=6950332
66.97	     nbUselessRevisions=4389238  nbAssignments=52518  nbFailedAssignments=1899  nbBacktracks=45103  nbVisitedNodes=56095
66.97	     nbRestartNogoods=60  mapSize=4610  nbInferences=991  nbTooLargeKeys=0
66.97	       =>  wckTime=65.515  cpuTime=65.33  mem=48M925
90.87	   
90.87	   search
90.87	     run=19  nbConstraintChecks=5230222  nbValidityChecks=692154  nbPropagations=4086378  nbRevisions=10789557
90.87	     nbUselessRevisions=6767681  nbAssignments=76817  nbFailedAssignments=3557  nbBacktracks=67290  nbVisitedNodes=83187
90.87	     nbRestartNogoods=68  mapSize=7725  nbInferences=1020  nbTooLargeKeys=0
90.87	       =>  wckTime=89.408  cpuTime=89.19  mem=11M712
128.02	   
128.02	   search
128.02	     run=20  nbConstraintChecks=7891196  nbValidityChecks=1065259  nbPropagations=6256467  nbRevisions=16612165
128.02	     nbUselessRevisions=10381931  nbAssignments=112363  nbFailedAssignments=5565  nbBacktracks=100545
128.02	     nbVisitedNodes=123165  nbRestartNogoods=72  mapSize=12151  nbInferences=1268  nbTooLargeKeys=0
128.02	       =>  wckTime=126.56  cpuTime=126.3  mem=21M585
183.81	   
183.81	   search
183.81	     run=21  nbConstraintChecks=11586046  nbValidityChecks=1531195  nbPropagations=9430641  nbRevisions=25108422
183.81	     nbUselessRevisions=15639305  nbAssignments=166121  nbFailedAssignments=8448  nbBacktracks=150445
183.81	     nbVisitedNodes=183701  nbRestartNogoods=78  mapSize=18916  nbInferences=2116  nbTooLargeKeys=0
183.81	       =>  wckTime=182.35  cpuTime=182.03  mem=35M407
265.33	   
265.33	   search
265.33	     run=22  nbConstraintChecks=17258066  nbValidityChecks=2255514  nbPropagations=14163617  nbRevisions=37728525
265.33	     nbUselessRevisions=23434216  nbAssignments=247045  nbFailedAssignments=12523  nbBacktracks=225313
265.33	     nbVisitedNodes=274207  nbRestartNogoods=90  mapSize=28611  nbInferences=3882  nbTooLargeKeys=0
265.33	       =>  wckTime=263.876  cpuTime=263.43  mem=16M822
385.12	   
385.12	   search
385.12	     run=23  nbConstraintChecks=26107694  nbValidityChecks=3350462  nbPropagations=21303246  nbRevisions=56735885
385.12	     nbUselessRevisions=35155072  nbAssignments=367607  nbFailedAssignments=19567  nbBacktracks=337544
385.12	     nbVisitedNodes=409038  nbRestartNogoods=103  mapSize=42834  nbInferences=5011  nbTooLargeKeys=0
385.12	       =>  wckTime=383.658  cpuTime=383.08  mem=51M619
440.07	   
440.07	   search
440.07	     run=24  nbConstraintChecks=30321422  nbValidityChecks=3861710  nbPropagations=29589248  nbRevisions=78781812
440.07	     nbUselessRevisions=48742988  nbAssignments=422131  nbFailedAssignments=22519  nbBacktracks=388643
440.07	     nbVisitedNodes=469539  nbRestartNogoods=118  mapSize=48839  nbInferences=5457  nbTooLargeKeys=0
440.07	       =>  wckTime=438.612  cpuTime=437.93  mem=25M489
440.07	   
440.07	   global
440.07	     nbConstraintChecks=30362615  nbValidityChecks=3865490  nbPropagations=29604077  nbRevisions=78813474
440.07	     nbUselessRevisions=48765616  nbRestartNogoods=118  solvingWckTime=438.613  solvingCpuTime=437.93  expiredTime=no
440.07	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=438.86
440.07	       =>  wckTime=439.771  cpuTime=438.81  mem=26M497
440.08	   
440.08	s UNSATISFIABLE
440.08	d NODES 422131
440.08	d CHECKS 30362615
440.08	   
440.08	   totalWckTime=439.848  totalCpuTime=438.86

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/node14/watcher-210137-1168195895 -o ROOT/results/node14/solver-210137-1168195895 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210137-1168195895/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.19 0.57 1.19 3/81 4627
/proc/meminfo: memFree=1562584/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=1452 CPUtime=0
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 110 0 0 0 0 0 0 0 20 0 1 0 167984582 1486848 82 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134557648 0 0 4096 0 0 0 0 17 1 0 0
/proc/4626/statm: 365 94 74 14 0 10 0

[startup+0.105381 s]
/proc/loadavg: 0.19 0.57 1.19 3/81 4627
/proc/meminfo: memFree=1562584/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=914988 CPUtime=0.08
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 3030 0 1 0 7 1 0 0 16 0 8 0 167984582 936947712 2776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155082757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4626/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513417 s]
/proc/loadavg: 0.19 0.57 1.19 3/81 4627
/proc/meminfo: memFree=1562584/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915328 CPUtime=0.5
/proc/4626/stat : 4626 (java) S 4624 4626 4298 0 -1 0 6704 0 1 0 46 4 0 0 16 0 8 0 167984582 937295872 6443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4626/statm: 228832 6443 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.3345 s]
/proc/loadavg: 0.26 0.58 1.19 2/88 4634
/proc/meminfo: memFree=1524256/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=1.32
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13324 0 1 0 110 22 0 0 16 0 8 0 167984582 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154585468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4626/statm: 228932 13061 2530 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 17 0 8 0 167984586 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.23
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 457 0 0 0 22 1 0 0 16 0 8 0 167984590 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915728

[startup+2.97865 s]
/proc/loadavg: 0.26 0.58 1.19 2/88 4634
/proc/meminfo: memFree=1519904/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=2.96
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13408 0 1 0 273 23 0 0 17 0 8 0 167984582 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074157751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4626/statm: 228932 13144 2544 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.3
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 503 0 0 0 28 2 0 0 16 0 8 0 167984590 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13144 18446744073709551615 134512640 134570532 4294956464 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) 915728

[startup+6.18396 s]
/proc/loadavg: 0.26 0.58 1.19 2/88 4635
/proc/meminfo: memFree=1519520/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=6.14
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13433 0 1 0 591 23 0 0 17 0 8 0 167984582 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074190465 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 13165 2545 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.33
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 524 0 0 0 31 2 0 0 16 0 8 0 167984590 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13165 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) 915728

[startup+12.6506 s]
/proc/loadavg: 0.37 0.59 1.19 2/88 4636
/proc/meminfo: memFree=1519528/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=12.61
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13442 0 1 0 1237 24 0 0 25 0 8 0 167984582 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074083510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 13171 2545 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.34
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 530 0 0 0 32 2 0 0 16 0 8 0 167984590 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915728

[startup+25.5048 s]
/proc/loadavg: 0.47 0.60 1.19 3/93 4864
/proc/meminfo: memFree=1510976/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=25.45
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13969 0 1 0 2521 24 0 0 25 0 8 0 167984582 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074082447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 13697 2545 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.34
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 531 0 0 0 32 2 0 0 16 0 8 0 167984590 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915728

[startup+51.1262 s]
/proc/loadavg: 0.99 0.71 1.21 4/93 4864
/proc/meminfo: memFree=1502976/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=51.05
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 15980 0 1 0 5079 26 0 0 25 0 8 0 167984582 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 15707 2545 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.34
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 534 0 0 0 32 2 0 0 16 0 8 0 167984590 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915728

[startup+102.366 s]
/proc/loadavg: 1.60 0.93 1.25 3/93 4864
/proc/meminfo: memFree=1490368/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=102.24
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 19128 0 1 0 10196 28 0 0 25 0 8 0 167984582 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074196451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 18853 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.07
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 1936 0 0 0 7 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 534 0 0 0 33 2 0 0 17 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915728

[startup+162.443 s]
/proc/loadavg: 1.94 1.15 1.30 3/93 4864
/proc/meminfo: memFree=1490304/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=162.24
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 19128 0 1 0 16196 28 0 0 25 0 8 0 167984582 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074196451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 18853 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.07
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 1936 0 0 0 7 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 534 0 0 0 33 2 0 0 17 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 915728

[startup+222.525 s]
/proc/loadavg: 1.98 1.30 1.35 3/93 4864
/proc/meminfo: memFree=1490304/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=222.28
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 19130 0 1 0 22200 28 0 0 25 0 8 0 167984582 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 18854 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.07
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 1936 0 0 0 7 0 0 0 16 0 8 0 167984586 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 535 0 0 0 33 2 0 0 16 0 8 0 167984590 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 915728

[startup+282.602 s]
/proc/loadavg: 1.99 1.43 1.38 3/93 4864
/proc/meminfo: memFree=1479616/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=282.3
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 21819 0 1 0 28200 30 0 0 25 0 8 0 167984582 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074196444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 21542 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.12
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 4624 0 0 0 11 1 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 535 0 0 0 33 2 0 0 16 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 915728

[startup+342.686 s]
/proc/loadavg: 1.99 1.53 1.42 3/93 4864
/proc/meminfo: memFree=1479552/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=342.3
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 21819 0 1 0 34200 30 0 0 25 0 8 0 167984582 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074082478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 21542 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.12
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 4624 0 0 0 11 1 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 535 0 0 0 33 2 0 0 16 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 915728

[startup+402.705 s]
/proc/loadavg: 1.96 1.60 1.45 3/95 4927
/proc/meminfo: memFree=1469296/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=402.26
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 21819 0 1 0 40195 31 0 0 25 0 8 0 167984582 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 21542 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.12
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 4624 0 0 0 11 1 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 535 0 0 0 33 2 0 0 16 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 915728

Child status: 0
Real time (s): 440.146
CPU time (s): 439.623
CPU user time (s): 439.278
CPU system time (s): 0.344947
CPU usage (%): 99.8813
Max. virtual memory (cumulated for all children) (KiB): 915824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 439.278
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23974
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= 10211
involuntary context switches= 12471

runsolver used 0.575912 s user time and 1.37379 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sun Jan  7 18:51:36 UTC 2007


IDJOB= 210137
IDBENCH= 4597
FILE ID= node14/210137-1168195895

PBS_JOBID= 3480489

Free space on /tmp= 66344 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0c506b62d09cb6d96e76e839d1a3bf47

RANDOM SEED= 518915238

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:       1563064 kB
Buffers:         48752 kB
Cached:         323540 kB
SwapCached:       4156 kB
Active:         164640 kB
Inactive:       260676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1563064 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            2320 kB
Writeback:           0 kB
Mapped:          61984 kB
Slab:            52768 kB
Committed_AS:  5281604 kB
PageTables:       2016 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= 66343 MiB



End job on node14 on Sun Jan  7 18:58:57 UTC 2007