Trace number 211096

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACUNSAT 347.6 351.126

DiagnosticValue
CHECKS77728505
NODES232165

General information on the benchmark

NamepseudoSeries/uclid/
ooo-rf7.xml
MD5SUM49b640b03f8934f582e52b133be9e9b7
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 benchmark4.49
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables3736
Number of constraints10456
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10456
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=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/211096-1168075462/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.56	     nbVariables=3736  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.56	       =>  wckTime=0.254  cpuTime=0.17  mem=12M786
0.56	   
0.56	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
2.13	     nbConstraints=10070  nbMergedConstraints=386  nbSingletonDomainVariables=20  nbConvertedConstraints=6658
2.13	     nbConvertConstraintsChecks=20552  nbExtensionStructures=8  nbSharedExtensionStructures=6650
2.13	     nbConflictsStructures=42  nbSharedConflictsStructures=10028  nbSharedBinaryRepresentations=19
2.13	     nbEvaluationManagers=34  nbSharedEvaluationManagers=3378  maxDegree=110  maxArity=11
2.13	       =>  wckTime=1.822  cpuTime=1.48  mem=21M927
2.23	   
2.23	   solver IterativeSystematicSolver being built... 
2.60	       =>  wckTime=2.292  cpuTime=1.78  mem=61M549
2.65	   
2.65	   preprocessing
2.65	     nbConstraintChecks=0  nbPropagations=3736  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.65	     detectedInconsistency=no
2.65	       =>  wckTime=0.034  cpuTime=0.02  mem=61M901
3.18	   
3.18	   search
3.18	     run=0  nbConstraintChecks=37449  nbValidityChecks=5483  nbPropagations=10145  nbRevisions=33036
3.18	     nbUselessRevisions=26560  nbAssignments=66  nbFailedAssignments=3  nbBacktracks=18  nbVisitedNodes=72
3.18	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
3.18	       =>  wckTime=0.574  cpuTime=0.5  mem=18M84
5.03	   
5.03	   search
5.03	     run=1  nbConstraintChecks=62080  nbValidityChecks=20177  nbPropagations=23466  nbRevisions=87892
5.03	     nbUselessRevisions=71813  nbAssignments=314  nbFailedAssignments=4  nbBacktracks=37  nbVisitedNodes=322
5.03	     nbRestartNogoods=2  mapSize=4  nbInferences=0  nbTooLargeKeys=0
5.03	       =>  wckTime=2.419  cpuTime=2.32  mem=18M84
6.99	   
6.99	   search
6.99	     run=2  nbConstraintChecks=80961  nbValidityChecks=36868  nbPropagations=40013  nbRevisions=165028
6.99	     nbUselessRevisions=136157  nbAssignments=583  nbFailedAssignments=6  nbBacktracks=76  nbVisitedNodes=595
6.99	     nbRestartNogoods=3  mapSize=6  nbInferences=0  nbTooLargeKeys=0
6.99	       =>  wckTime=4.386  cpuTime=4.26  mem=18M84
8.98	   
8.98	   search
8.98	     run=3  nbConstraintChecks=99889  nbValidityChecks=53890  nbPropagations=59787  nbRevisions=264620
8.98	     nbUselessRevisions=219768  nbAssignments=854  nbFailedAssignments=8  nbBacktracks=117  nbVisitedNodes=870
8.98	     nbRestartNogoods=5  mapSize=8  nbInferences=0  nbTooLargeKeys=0
8.98	       =>  wckTime=6.368  cpuTime=6.23  mem=19M93
11.13	   
11.13	   search
11.13	     run=4  nbConstraintChecks=120979  nbValidityChecks=71912  nbPropagations=83086  nbRevisions=388593
11.13	     nbUselessRevisions=324256  nbAssignments=1147  nbFailedAssignments=11  nbBacktracks=181  nbVisitedNodes=1172
11.13	     nbRestartNogoods=7  mapSize=16  nbInferences=0  nbTooLargeKeys=0
11.13	       =>  wckTime=8.515  cpuTime=8.36  mem=19M93
13.37	   
13.37	   search
13.37	     run=5  nbConstraintChecks=166296  nbValidityChecks=102053  nbPropagations=111748  nbRevisions=551525
13.37	     nbUselessRevisions=462058  nbAssignments=1452  nbFailedAssignments=27  nbBacktracks=257  nbVisitedNodes=1524
13.37	     nbRestartNogoods=8  mapSize=62  nbInferences=0  nbTooLargeKeys=0
13.37	       =>  wckTime=10.763  cpuTime=10.56  mem=19M93
16.73	   
16.73	   search
16.73	     run=6  nbConstraintChecks=240765  nbValidityChecks=159177  nbPropagations=151306  nbRevisions=792017
16.73	     nbUselessRevisions=666496  nbAssignments=1917  nbFailedAssignments=48  nbBacktracks=433  nbVisitedNodes=2032
16.73	     nbRestartNogoods=9  mapSize=101  nbInferences=0  nbTooLargeKeys=0
16.73	       =>  wckTime=14.121  cpuTime=13.87  mem=20M101
20.04	   
20.04	   search
20.04	     run=7  nbConstraintChecks=266248  nbValidityChecks=177720  nbPropagations=195514  nbRevisions=1061525
20.04	     nbUselessRevisions=895297  nbAssignments=2371  nbFailedAssignments=52  nbBacktracks=639  nbVisitedNodes=2500
20.04	     nbRestartNogoods=13  mapSize=114  nbInferences=0  nbTooLargeKeys=0
20.04	       =>  wckTime=17.431  cpuTime=17.14  mem=20M101
23.47	   
23.47	   search
23.47	     run=8  nbConstraintChecks=335971  nbValidityChecks=218085  nbPropagations=251524  nbRevisions=1402016
23.47	     nbUselessRevisions=1182816  nbAssignments=2853  nbFailedAssignments=84  nbBacktracks=897  nbVisitedNodes=3055
23.47	     nbRestartNogoods=14  mapSize=186  nbInferences=0  nbTooLargeKeys=0
23.47	       =>  wckTime=20.86  cpuTime=20.54  mem=21M110
27.45	   
27.45	   search
27.45	     run=9  nbConstraintChecks=476440  nbValidityChecks=303066  nbPropagations=330129  nbRevisions=1882951
27.45	     nbUselessRevisions=1586928  nbAssignments=3441  nbFailedAssignments=139  nbBacktracks=1290  nbVisitedNodes=3725
27.45	     nbRestartNogoods=15  mapSize=263  nbInferences=0  nbTooLargeKeys=0
27.45	       =>  wckTime=24.843  cpuTime=24.49  mem=21M110
32.84	   
32.84	   search
32.84	     run=10  nbConstraintChecks=632993  nbValidityChecks=392557  nbPropagations=432128  nbRevisions=2513394
32.84	     nbUselessRevisions=2115127  nbAssignments=4256  nbFailedAssignments=235  nbBacktracks=1869  nbVisitedNodes=4694
32.84	     nbRestartNogoods=20  mapSize=413  nbInferences=0  nbTooLargeKeys=0
32.84	       =>  wckTime=30.231  cpuTime=29.8  mem=22M119
39.46	   
39.46	   search
39.46	     run=11  nbConstraintChecks=827017  nbValidityChecks=491206  nbPropagations=565704  nbRevisions=3331328
39.46	     nbUselessRevisions=2797621  nbAssignments=5256  nbFailedAssignments=287  nbBacktracks=2751  nbVisitedNodes=5832
39.46	     nbRestartNogoods=24  mapSize=548  nbInferences=0  nbTooLargeKeys=0
39.46	       =>  wckTime=36.856  cpuTime=36.37  mem=23M127
48.79	   
48.79	   search
48.79	     run=12  nbConstraintChecks=1135884  nbValidityChecks=648547  nbPropagations=761409  nbRevisions=4490329
48.79	     nbUselessRevisions=3756958  nbAssignments=6692  nbFailedAssignments=340  nbBacktracks=4053  nbVisitedNodes=7442
48.79	     nbRestartNogoods=27  mapSize=719  nbInferences=0  nbTooLargeKeys=0
48.79	       =>  wckTime=46.18  cpuTime=45.6  mem=25M145
60.27	   
60.27	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=28M171)
60.62	   
60.62	   search
60.62	     run=13  nbConstraintChecks=1657972  nbValidityChecks=838600  nbPropagations=1045550  nbRevisions=6152572
60.62	     nbUselessRevisions=5118053  nbAssignments=8863  nbFailedAssignments=482  nbBacktracks=5999  nbVisitedNodes=9960
60.62	     nbRestartNogoods=30
60.62	       =>  wckTime=58.015  cpuTime=57.31  mem=28M171
64.61	   
64.61	   search
64.61	     run=14  nbConstraintChecks=2337553  nbValidityChecks=1174230  nbPropagations=1433827  nbRevisions=8452577
64.61	     nbUselessRevisions=7006959  nbAssignments=12185  nbFailedAssignments=803  nbBacktracks=8929  nbVisitedNodes=13914
64.61	     nbRestartNogoods=35
64.61	       =>  wckTime=62.0  cpuTime=61.25  mem=28M171
71.22	   
71.22	   search
71.22	     run=15  nbConstraintChecks=4318268  nbValidityChecks=1723701  nbPropagations=2183399  nbRevisions=12641238
71.22	     nbUselessRevisions=10398414  nbAssignments=16965  nbFailedAssignments=1165  nbBacktracks=13311
71.22	     nbVisitedNodes=19320  nbRestartNogoods=43
71.22	       =>  wckTime=68.615  cpuTime=67.81  mem=28M171
80.31	   
80.31	   search
80.31	     run=16  nbConstraintChecks=6738828  nbValidityChecks=2402627  nbPropagations=3380364  nbRevisions=19162937
80.31	     nbUselessRevisions=15653809  nbAssignments=23968  nbFailedAssignments=1559  nbBacktracks=19883
80.31	     nbVisitedNodes=26975  nbRestartNogoods=48
80.31	       =>  wckTime=77.7  cpuTime=76.8  mem=28M171
99.56	   
99.56	   search
99.56	     run=17  nbConstraintChecks=13913495  nbValidityChecks=4497352  nbPropagations=5860499  nbRevisions=32556793
99.56	     nbUselessRevisions=26405638  nbAssignments=34931  nbFailedAssignments=2579  nbBacktracks=29741
99.56	     nbVisitedNodes=40042  nbRestartNogoods=56
99.56	       =>  wckTime=96.956  cpuTime=95.87  mem=28M171
115.38	   
115.38	   search
115.38	     run=18  nbConstraintChecks=15969307  nbValidityChecks=5174546  nbPropagations=8674956  nbRevisions=47795256
115.38	     nbUselessRevisions=38650011  nbAssignments=50438  nbFailedAssignments=3180  nbBacktracks=44536
115.38	     nbVisitedNodes=56720  nbRestartNogoods=60
115.38	       =>  wckTime=112.772  cpuTime=111.52  mem=28M171
148.68	   
148.68	   search
148.68	     run=19  nbConstraintChecks=25408280  nbValidityChecks=8125489  nbPropagations=13157816  nbRevisions=71888939
148.68	     nbUselessRevisions=57951641  nbAssignments=74848  nbFailedAssignments=5369  nbBacktracks=66704
148.68	     nbVisitedNodes=85314  nbRestartNogoods=68
148.68	       =>  wckTime=146.068  cpuTime=144.49  mem=28M171
193.95	   
193.95	   search
193.95	     run=20  nbConstraintChecks=36427505  nbValidityChecks=11991572  nbPropagations=19580148  nbRevisions=106565456
193.95	     nbUselessRevisions=85711681  nbAssignments=110951  nbFailedAssignments=8105  nbBacktracks=100013
193.95	     nbVisitedNodes=127011  nbRestartNogoods=75
193.95	       =>  wckTime=191.337  cpuTime=189.31  mem=28M171
264.50	   
264.50	   search
264.50	     run=21  nbConstraintChecks=54543383  nbValidityChecks=18443590  nbPropagations=29195380  nbRevisions=158929098
264.50	     nbUselessRevisions=127722389  nbAssignments=164711  nbFailedAssignments=11829  nbBacktracks=149921
264.50	     nbVisitedNodes=188151  nbRestartNogoods=87
264.50	       =>  wckTime=261.887  cpuTime=259.17  mem=28M171
351.10	   
351.10	   search
351.10	     run=22  nbConstraintChecks=77728505  nbValidityChecks=25873670  nbPropagations=42986559  nbRevisions=233450514
351.10	     nbUselessRevisions=187280885  nbAssignments=232165  nbFailedAssignments=16746  nbBacktracks=212459
351.10	     nbVisitedNodes=265931  nbRestartNogoods=98
351.10	       =>  wckTime=348.489  cpuTime=344.9  mem=28M171
351.10	   
351.10	   global
351.10	     nbConstraintChecks=77728505  nbValidityChecks=25873670  nbPropagations=42990295  nbRevisions=233450514
351.10	     nbUselessRevisions=187280885  nbRestartNogoods=98  solvingWckTime=348.49  solvingCpuTime=344.9  expiredTime=no
351.10	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=346.74
351.10	       =>  wckTime=350.789  cpuTime=346.69  mem=28M171
351.10	   
351.10	s UNSATISFIABLE
351.10	d NODES 232165
351.10	d CHECKS 77728505
351.10	   
351.10	   totalWckTime=350.868  totalCpuTime=346.74

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/node25/watcher-211096-1168075462 -o ROOT/results/node25/solver-211096-1168075462 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211096-1168075462/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.78 1.94 1.91 4/93 29864
/proc/meminfo: memFree=1640232/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=1500 CPUtime=0
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 251 0 0 0 0 0 0 0 18 0 1 0 155939275 1536000 57 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3734497 0 0 4096 0 0 0 0 17 1 0 0
/proc/29863/statm: 375 69 55 14 0 8 0

[startup+0.10295 s]
/proc/loadavg: 1.78 1.94 1.91 4/93 29864
/proc/meminfo: memFree=1640232/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=912908 CPUtime=0.07
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 2830 0 1 0 6 1 0 0 24 0 8 0 155939275 934817792 2576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228227 2576 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908

[startup+0.511021 s]
/proc/loadavg: 1.78 1.94 1.91 4/93 29864
/proc/meminfo: memFree=1640232/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915328 CPUtime=0.47
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 6700 0 1 0 44 3 0 0 25 0 8 0 155939275 937295872 6439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228832 6439 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33217 s]
/proc/loadavg: 1.78 1.94 1.91 3/100 29871
/proc/meminfo: memFree=1578928/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915648 CPUtime=1.29
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 17705 0 1 0 109 20 0 0 25 0 8 0 155939275 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228912 17443 2178 14 0 215382 0
[pid=29863/tid=29865] ppid=29861 vsize=915648 CPUtime=0.03
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 1090 0 0 0 3 0 0 0 17 0 8 0 155939280 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915648 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915648 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915648 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915648 CPUtime=0.18
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 423 0 0 0 17 1 0 0 15 0 8 0 155939284 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915648 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915648 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915648

[startup+2.98344 s]
/proc/loadavg: 1.78 1.94 1.91 3/100 29871
/proc/meminfo: memFree=1559664/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=2.92
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 22981 0 1 0 240 52 0 0 25 0 8 0 155939275 937717760 22696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22696 2534 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5846 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.33
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 518 0 0 0 31 2 0 0 16 0 8 0 155939284 937717760 22696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915740

[startup+6.27 s]
/proc/loadavg: 1.80 1.94 1.91 3/100 29871
/proc/meminfo: memFree=1559216/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=6.19
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 22992 0 1 0 566 53 0 0 25 0 8 0 155939275 937717760 22705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22705 2538 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 17 0 8 0 155939280 937717760 22705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.34
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 522 0 0 0 32 2 0 0 15 0 8 0 155939284 937717760 22705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915740

[startup+12.7581 s]
/proc/loadavg: 1.81 1.94 1.91 3/100 29871
/proc/meminfo: memFree=1559224/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=12.61
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 23002 0 1 0 1208 53 0 0 25 0 8 0 155939275 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074162138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22711 2539 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.35
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 529 0 0 0 33 2 0 0 16 0 8 0 155939284 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915740

[startup+25.6163 s]
/proc/loadavg: 1.85 1.94 1.91 3/100 29871
/proc/meminfo: memFree=1559288/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=25.33
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 23013 0 1 0 2480 53 0 0 25 0 8 0 155939275 937717760 22718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074229520 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22718 2539 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.37
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 536 0 0 0 35 2 0 0 16 0 8 0 155939284 937717760 22718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915740

[startup+51.2356 s]
/proc/loadavg: 2.02 1.98 1.92 3/100 29871
/proc/meminfo: memFree=1559352/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=50.7
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 23027 0 1 0 5016 54 0 0 25 0 8 0 155939275 937717760 22724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074162138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22724 2539 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.38
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 543 0 0 0 36 2 0 0 16 0 8 0 155939284 937717760 22724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915740

[startup+102.473 s]
/proc/loadavg: 2.01 1.98 1.92 3/100 29871
/proc/meminfo: memFree=1559352/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=101.43
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 23031 0 1 0 10089 54 0 0 25 0 8 0 155939275 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074177915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22726 2539 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.38
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 545 0 0 0 36 2 0 0 16 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915740

[startup+162.556 s]
/proc/loadavg: 2.04 1.99 1.93 3/100 29871
/proc/meminfo: memFree=1559352/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=160.91
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 23031 0 1 0 16037 54 0 0 25 0 8 0 155939275 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22726 2539 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.38
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 545 0 0 0 36 2 0 0 16 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 915740

[startup+222.644 s]
/proc/loadavg: 2.01 1.99 1.93 3/100 29871
/proc/meminfo: memFree=1559352/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=220.4
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 23031 0 1 0 21986 54 0 0 25 0 8 0 155939275 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074178571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22726 2539 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.38
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 545 0 0 0 36 2 0 0 16 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 915740

[startup+282.725 s]
/proc/loadavg: 2.00 1.99 1.93 3/100 29871
/proc/meminfo: memFree=1559288/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=279.9
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 23032 0 1 0 27936 54 0 0 25 0 8 0 155939275 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074177962 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22726 2539 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.38
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 545 0 0 0 36 2 0 0 16 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 915740

[startup+342.805 s]
/proc/loadavg: 2.00 1.99 1.93 3/100 29871
/proc/meminfo: memFree=1559288/2055920 swapFree=4192812/4192956
[pid=29863] ppid=29861 vsize=915740 CPUtime=339.36
/proc/29863/stat : 29863 (java) R 29861 29863 29205 0 -1 0 23032 0 1 0 33882 54 0 0 25 0 8 0 155939275 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29863/statm: 228935 22726 2539 14 0 215405 0
[pid=29863/tid=29865] ppid=29861 vsize=915740 CPUtime=0.24
/proc/29863/task/29865/stat : 29865 (java) S 29861 29863 29205 0 -1 64 5847 0 0 0 22 2 0 0 16 0 8 0 155939280 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29866] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29866/stat : 29866 (java) S 29861 29863 29205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29867] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29867/stat : 29867 (java) S 29861 29863 29205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155939281 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29868] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29868/stat : 29868 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29869] ppid=29861 vsize=915740 CPUtime=0.38
/proc/29863/task/29869/stat : 29869 (java) S 29861 29863 29205 0 -1 64 545 0 0 0 36 2 0 0 16 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29870] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29870/stat : 29870 (java) S 29861 29863 29205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29863/tid=29871] ppid=29861 vsize=915740 CPUtime=0
/proc/29863/task/29871/stat : 29871 (java) S 29861 29863 29205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155939284 937717760 22726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.36
Current children cumulated vsize (KiB) 915740

Child status: 0
Real time (s): 351.126
CPU time (s): 347.6
CPU user time (s): 347.037
CPU system time (s): 0.562914
CPU usage (%): 98.9957
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 347.037
system time used= 0.562914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23038
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= 8932
involuntary context switches= 18870

runsolver used 0.508922 s user time and 1.05584 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan  6 09:24:24 UTC 2007


IDJOB= 211096
IDBENCH= 4668
FILE ID= node25/211096-1168075462

PBS_JOBID= 3475963

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211096-1168075462/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-211096-1168075462 -o ROOT/results/node25/solver-211096-1168075462 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211096-1168075462/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  49b640b03f8934f582e52b133be9e9b7

RANDOM SEED= 818711508

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.279
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1640712 kB
Buffers:         42308 kB
Cached:         220920 kB
SwapCached:          0 kB
Active:         107440 kB
Inactive:       236000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1640712 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3360 kB
Writeback:           0 kB
Mapped:         109196 kB
Slab:            56352 kB
Committed_AS:  3662544 kB
PageTables:       2432 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= 66546 MiB



End job on node25 on Sat Jan  6 09:30:20 UTC 2007