Trace number 199829

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 492.231 492.797

DiagnosticValue
CHECKS375822224
NODES318986

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-35_ext.xml
MD5SUM6c246e478e2e2eba7091099f69119992
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark47.6178
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/199829-1168136795/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.41	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
1.05	   
1.05	   constraints being loaded...
1.32	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.32	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=13  maxArity=3
1.32	       =>  wckTime=1.004  cpuTime=0.88  mem=48M602
1.44	   
1.44	   solver IterativeSystematicSolver being built... 
1.61	       =>  wckTime=1.293  cpuTime=1.03  mem=34M639
1.70	   
1.70	   preprocessing
1.70	     nbConstraintChecks=26507  nbValidityChecks=42923  nbPropagations=165  nbRevisions=1673  nbUselessRevisions=1476
1.70	     nbSingletonTests=29  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.70	       =>  wckTime=0.093  cpuTime=0.06  mem=34M639
1.77	   
1.77	   search
1.77	     run=0  nbConstraintChecks=32945  nbValidityChecks=68022  nbPropagations=466  nbRevisions=5309
1.77	     nbUselessRevisions=4285  nbAssignments=32  nbFailedAssignments=17  nbBacktracks=11  nbVisitedNodes=55
1.77	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
1.77	       =>  wckTime=0.164  cpuTime=0.12  mem=35M627
1.84	   
1.84	   search
1.84	     run=1  nbConstraintChecks=72359  nbValidityChecks=146698  nbPropagations=1334  nbRevisions=15557
1.84	     nbUselessRevisions=12593  nbAssignments=66  nbFailedAssignments=31  nbBacktracks=26  nbVisitedNodes=113
1.84	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
1.84	       =>  wckTime=0.23  cpuTime=0.18  mem=35M627
1.96	   
1.96	   search
1.96	     run=2  nbConstraintChecks=139006  nbValidityChecks=282535  nbPropagations=2832  nbRevisions=33576
1.96	     nbUselessRevisions=27127  nbAssignments=116  nbFailedAssignments=55  nbBacktracks=48  nbVisitedNodes=204
1.96	     nbRestartNogoods=5  mapSize=39  nbInferences=0  nbTooLargeKeys=0
1.96	       =>  wckTime=0.35  cpuTime=0.29  mem=35M627
2.10	   
2.10	   search
2.10	     run=3  nbConstraintChecks=235662  nbValidityChecks=477805  nbPropagations=5289  nbRevisions=64194
2.10	     nbUselessRevisions=51919  nbAssignments=198  nbFailedAssignments=101  nbBacktracks=81  nbVisitedNodes=355
2.10	     nbRestartNogoods=6  mapSize=69  nbInferences=0  nbTooLargeKeys=0
2.10	       =>  wckTime=0.494  cpuTime=0.43  mem=35M627
2.30	   
2.30	   search
2.30	     run=4  nbConstraintChecks=364426  nbValidityChecks=740037  nbPropagations=9054  nbRevisions=110440
2.30	     nbUselessRevisions=89078  nbAssignments=320  nbFailedAssignments=168  nbBacktracks=131  nbVisitedNodes=573
2.30	     nbRestartNogoods=8  mapSize=111  nbInferences=0  nbTooLargeKeys=0
2.30	       =>  wckTime=0.688  cpuTime=0.62  mem=35M627
2.57	   
2.57	   search
2.57	     run=5  nbConstraintChecks=548557  nbValidityChecks=1121869  nbPropagations=14733  nbRevisions=179240
2.57	     nbUselessRevisions=143680  nbAssignments=503  nbFailedAssignments=269  nbBacktracks=208  nbVisitedNodes=905
2.57	     nbRestartNogoods=14  mapSize=176  nbInferences=0  nbTooLargeKeys=0
2.57	       =>  wckTime=0.961  cpuTime=0.89  mem=35M627
3.05	   
3.05	   search
3.05	     run=6  nbConstraintChecks=875934  nbValidityChecks=1780120  nbPropagations=23680  nbRevisions=292360
3.05	     nbUselessRevisions=234034  nbAssignments=770  nbFailedAssignments=420  nbBacktracks=321  nbVisitedNodes=1406
3.05	     nbRestartNogoods=22  mapSize=274  nbInferences=0  nbTooLargeKeys=0
3.05	       =>  wckTime=1.437  cpuTime=1.35  mem=35M627
3.81	   
3.81	   search
3.81	     run=7  nbConstraintChecks=1395665  nbValidityChecks=2843067  nbPropagations=37435  nbRevisions=467461
3.81	     nbUselessRevisions=374465  nbAssignments=1197  nbFailedAssignments=671  nbBacktracks=492  nbVisitedNodes=2197
3.81	     nbRestartNogoods=27  mapSize=424  nbInferences=0  nbTooLargeKeys=0
3.81	       =>  wckTime=2.197  cpuTime=2.11  mem=35M627
4.68	   
4.68	   search
4.68	     run=8  nbConstraintChecks=1989782  nbValidityChecks=4040514  nbPropagations=58167  nbRevisions=727431
4.68	     nbUselessRevisions=583007  nbAssignments=1782  nbFailedAssignments=994  nbBacktracks=748  nbVisitedNodes=3267
4.68	     nbRestartNogoods=34  mapSize=649  nbInferences=0  nbTooLargeKeys=0
4.68	       =>  wckTime=3.069  cpuTime=2.95  mem=35M627
6.11	   
6.11	   search
6.11	     run=9  nbConstraintChecks=3001353  nbValidityChecks=6102528  nbPropagations=88998  nbRevisions=1110263
6.11	     nbUselessRevisions=888082  nbAssignments=2706  nbFailedAssignments=1518  nbBacktracks=1132  nbVisitedNodes=4949
6.11	     nbRestartNogoods=44  mapSize=981  nbInferences=0  nbTooLargeKeys=0
6.11	       =>  wckTime=4.502  cpuTime=4.38  mem=35M627
6.41	   
6.41	   INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=35M627)
8.82	   
8.82	   search
8.82	     run=10  nbConstraintChecks=4954330  nbValidityChecks=9911072  nbPropagations=135697  nbRevisions=1710204
8.82	     nbUselessRevisions=1367952  nbAssignments=4036  nbFailedAssignments=2267  nbBacktracks=1708  nbVisitedNodes=7443
8.82	     nbRestartNogoods=54
8.82	       =>  wckTime=7.207  cpuTime=7.06  mem=35M627
11.66	   
11.66	   search
11.66	     run=11  nbConstraintChecks=6915146  nbValidityChecks=14067424  nbPropagations=203505  nbRevisions=2570418
11.66	     nbUselessRevisions=2055832  nbAssignments=5768  nbFailedAssignments=3131  nbBacktracks=2572  nbVisitedNodes=10559
11.66	     nbRestartNogoods=61
11.66	       =>  wckTime=10.048  cpuTime=9.88  mem=35M627
15.78	   
15.78	   search
15.78	     run=12  nbConstraintChecks=10030824  nbValidityChecks=20373962  nbPropagations=305683  nbRevisions=3853694
15.78	     nbUselessRevisions=3081337  nbAssignments=8607  nbFailedAssignments=4669  nbBacktracks=3870  nbVisitedNodes=15748
15.78	     nbRestartNogoods=70
15.78	       =>  wckTime=14.168  cpuTime=14.0  mem=35M627
22.14	   
22.14	   search
22.14	     run=13  nbConstraintChecks=14892232  nbValidityChecks=30388744  nbPropagations=456848  nbRevisions=5728327
22.14	     nbUselessRevisions=4572377  nbAssignments=13168  nbFailedAssignments=7278  nbBacktracks=5816  nbVisitedNodes=24110
22.14	     nbRestartNogoods=78
22.14	       =>  wckTime=20.531  cpuTime=20.36  mem=35M627
32.84	   
32.84	   search
32.84	     run=14  nbConstraintChecks=23116134  nbValidityChecks=47353491  nbPropagations=689045  nbRevisions=8645100
32.84	     nbUselessRevisions=6907158  nbAssignments=20544  nbFailedAssignments=11709  nbBacktracks=8735  nbVisitedNodes=37829
32.84	     nbRestartNogoods=95
32.84	       =>  wckTime=31.233  cpuTime=31.04  mem=35M627
48.66	   
48.66	   search
48.66	     run=15  nbConstraintChecks=35062564  nbValidityChecks=71421573  nbPropagations=1035158  nbRevisions=13032309
48.66	     nbUselessRevisions=10426541  nbAssignments=30185  nbFailedAssignments=16967  nbBacktracks=13114
48.66	     nbVisitedNodes=55502  nbRestartNogoods=105
48.66	       =>  wckTime=47.046  cpuTime=46.84  mem=35M627
70.41	   
70.41	   search
70.41	     run=16  nbConstraintChecks=51924419  nbValidityChecks=105527832  nbPropagations=1563461  nbRevisions=19732838
70.41	     nbUselessRevisions=15810779  nbAssignments=45229  nbFailedAssignments=25439  nbBacktracks=19682
70.41	     nbVisitedNodes=83431  nbRestartNogoods=126
70.41	       =>  wckTime=68.797  cpuTime=68.59  mem=35M627
103.45	   
103.45	   search
103.45	     run=17  nbConstraintChecks=76993254  nbValidityChecks=158237374  nbPropagations=2351921  nbRevisions=29587302
103.45	     nbUselessRevisions=23670466  nbAssignments=68916  nbFailedAssignments=39269  nbBacktracks=29534
103.45	     nbVisitedNodes=127149  nbRestartNogoods=136
103.45	       =>  wckTime=101.836  cpuTime=101.58  mem=35M627
154.13	   
154.13	   search
154.13	     run=18  nbConstraintChecks=114581457  nbValidityChecks=237819324  nbPropagations=3536960  nbRevisions=44398263
154.13	     nbUselessRevisions=35517501  nbAssignments=102774  nbFailedAssignments=58344  nbBacktracks=44312
154.13	     nbVisitedNodes=189461  nbRestartNogoods=152
154.13	       =>  wckTime=152.516  cpuTime=152.21  mem=35M627
232.77	   
232.77	   search
232.77	     run=19  nbConstraintChecks=175522938  nbValidityChecks=357582228  nbPropagations=5272151  nbRevisions=66525078
232.77	     nbUselessRevisions=53274587  nbAssignments=150692  nbFailedAssignments=84084  nbBacktracks=66481
232.77	     nbVisitedNodes=277022  nbRestartNogoods=178
232.77	       =>  wckTime=231.165  cpuTime=230.78  mem=35M627
351.04	   
351.04	   search
351.04	     run=20  nbConstraintChecks=267079694  nbValidityChecks=543014976  nbPropagations=7913100  nbRevisions=100689082
351.04	     nbUselessRevisions=80796153  nbAssignments=228986  nbFailedAssignments=129119  nbBacktracks=99735
351.04	     nbVisitedNodes=422606  nbRestartNogoods=207
351.04	       =>  wckTime=349.428  cpuTime=348.93  mem=35M627
492.75	   
492.75	   search
492.75	     run=21  nbConstraintChecks=375795717  nbValidityChecks=761074407  nbPropagations=11579974  nbRevisions=148244288
492.75	     nbUselessRevisions=119118376  nbAssignments=318986  nbFailedAssignments=179291  nbBacktracks=139539
492.75	     nbVisitedNodes=588210  nbRestartNogoods=219
492.75	       =>  wckTime=491.141  cpuTime=490.51  mem=35M627
492.75	   
492.75	   global
492.75	     nbConstraintChecks=375822224  nbValidityChecks=761117330  nbPropagations=11580139  nbRevisions=148245961
492.75	     nbUselessRevisions=119119852  nbRestartNogoods=219  solvingWckTime=491.142  solvingCpuTime=490.51  expiredTime=no
492.75	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=491.58
492.75	       =>  wckTime=492.438  cpuTime=491.54  mem=35M627
492.76	   
492.76	s SATISFIABLE
492.76	v 11 15 2 10 12 8 18 8 14 14 14 9 8 4 15 0 16 10 5 1 7 5 18 10 
492.76	d NODES 318986
492.76	d CHECKS 375822224
492.76	   
492.76	   totalWckTime=492.52  totalCpuTime=491.58

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node39/watcher-199829-1168136795 -o ROOT/results/node39/solver-199829-1168136795 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199829-1168136795/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: 2.00 2.00 1.92 4/73 6827
/proc/meminfo: memFree=1619936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=1784 CPUtime=0
/proc/6826/stat : 6826 (java) D 6824 6826 6276 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 162079148 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/6826/statm: 446 140 106 14 0 91 0

[startup+0.106685 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 6827
/proc/meminfo: memFree=1619936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=914988 CPUtime=0.08
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 2995 0 1 0 6 2 0 0 17 0 8 0 162079148 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51472 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 6827
/proc/meminfo: memFree=1619936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915328 CPUtime=0.49
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 7647 0 1 0 43 6 0 0 18 0 8 0 162079148 937295872 7386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228832 7386 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3418 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 6834
/proc/meminfo: memFree=1552808/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=1.31
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 19133 0 1 0 120 11 0 0 25 0 8 0 162079148 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228854 18870 2168 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.06
/proc/6826/task/6828/stat : 6828 (java) R 6824 6826 6276 0 -1 64 2646 0 0 0 6 0 0 0 16 0 8 0 162079152 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134174 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.1
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 162079156 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 18870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915416

[startup+2.98895 s]
/proc/loadavg: 2.08 2.02 1.93 3/80 6834
/proc/meminfo: memFree=1536744/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=2.95
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23479 0 1 0 281 14 0 0 25 0 8 0 162079148 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228854 23215 2531 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 162079152 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.21
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 162079156 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416

[startup+6.26825 s]
/proc/loadavg: 2.08 2.02 1.93 3/80 6834
/proc/meminfo: memFree=1536560/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=6.21
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23496 0 1 0 607 14 0 0 25 0 8 0 162079148 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6826/statm: 228854 23229 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 162079152 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.24
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 386 0 0 0 23 1 0 0 15 0 8 0 162079156 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915416

[startup+12.7618 s]
/proc/loadavg: 1.99 2.00 1.92 2/75 6846
/proc/meminfo: memFree=1543632/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=12.68
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23500 0 1 0 1254 14 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915416

[startup+25.621 s]
/proc/loadavg: 1.99 2.00 1.92 3/88 6905
/proc/meminfo: memFree=1504808/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=25.53
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23500 0 1 0 2539 14 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915416

[startup+51.2354 s]
/proc/loadavg: 2.05 2.01 1.93 3/88 6905
/proc/meminfo: memFree=1504936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=51.11
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 5096 15 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915416

[startup+102.459 s]
/proc/loadavg: 2.02 2.01 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=102.29
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 10214 15 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915416

[startup+162.546 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=162.32
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 16217 15 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 915416

[startup+222.558 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=222.25
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 22210 15 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 915416

[startup+282.57 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=282.23
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 28207 16 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 915416

[startup+342.578 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1504936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=342.18
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 34202 16 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 915416

[startup+402.588 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 6905
/proc/meminfo: memFree=1505000/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=402.11
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 40195 16 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 915416

[startup+462.675 s]
/proc/loadavg: 2.16 2.04 1.94 3/88 6905
/proc/meminfo: memFree=1504936/2055920 swapFree=4187312/4192956
[pid=6826] ppid=6824 vsize=915416 CPUtime=462.15
/proc/6826/stat : 6826 (java) R 6824 6826 6276 0 -1 0 23501 0 1 0 46199 16 0 0 25 0 8 0 162079148 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6826/statm: 228854 23232 2532 14 0 215324 0
[pid=6826/tid=6828] ppid=6824 vsize=915416 CPUtime=0.16
/proc/6826/task/6828/stat : 6828 (java) S 6824 6826 6276 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 162079152 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6829] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6829/stat : 6829 (java) S 6824 6826 6276 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6830] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6830/stat : 6830 (java) S 6824 6826 6276 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162079153 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6831] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6831/stat : 6831 (java) S 6824 6826 6276 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6832] ppid=6824 vsize=915416 CPUtime=0.25
/proc/6826/task/6832/stat : 6832 (java) S 6824 6826 6276 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6826/tid=6833] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6833/stat : 6833 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6826/tid=6834] ppid=6824 vsize=915416 CPUtime=0
/proc/6826/task/6834/stat : 6834 (java) S 6824 6826 6276 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162079156 937385984 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 492.797
CPU time (s): 492.231
CPU user time (s): 492.049
CPU system time (s): 0.181972
CPU usage (%): 99.8853
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 492.049
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23510
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= 11097
involuntary context switches= 3644

runsolver used 0.58791 s user time and 1.60776 s system time

The end

Launcher Data (download as text)

Begin job on node39 on Sun Jan  7 02:26:35 UTC 2007


IDJOB= 199829
IDBENCH= 3642
FILE ID= node39/199829-1168136795

PBS_JOBID= 3478025

Free space on /tmp= 66525 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199829-1168136795/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-199829-1168136795 -o ROOT/results/node39/solver-199829-1168136795 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199829-1168136795/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6c246e478e2e2eba7091099f69119992

RANDOM SEED= 697238494

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.236
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.236
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:       1620416 kB
Buffers:         25628 kB
Cached:         341544 kB
SwapCached:       1388 kB
Active:         121156 kB
Inactive:       265332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620416 kB
SwapTotal:     4192956 kB
SwapFree:      4187312 kB
Dirty:            4520 kB
Writeback:           0 kB
Mapped:          30004 kB
Slab:            34596 kB
Committed_AS:  3287448 kB
PageTables:       1740 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= 66526 MiB



End job on node39 on Sun Jan  7 02:34:48 UTC 2007