0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206800-1168178055/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.59
1.59 constraints being loaded...
2.37 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.37 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.38 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
2.38 => wckTime=2.054 cpuTime=1.63 mem=58M83
2.54
2.54 solver IterativeSystematicSolver being built...
2.72 => wckTime=2.403 cpuTime=1.77 mem=65M620
2.87
2.87 preprocessing
2.87 nbConstraintChecks=48689 nbValidityChecks=81400 nbPropagations=266 nbRevisions=2963 nbUselessRevisions=2616
2.87 nbSingletonTests=37 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.87 => wckTime=0.147 cpuTime=0.11 mem=65M620
2.99
2.99 search
2.99 run=0 nbConstraintChecks=52057 nbValidityChecks=97160 nbPropagations=710 nbRevisions=8725
2.99 nbUselessRevisions=7226 nbAssignments=31 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=54
2.99 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=0.259 cpuTime=0.22 mem=66M628
3.11
3.11 search
3.11 run=1 nbConstraintChecks=112676 nbValidityChecks=223742 nbPropagations=1976 nbRevisions=25226
3.11 nbUselessRevisions=20761 nbAssignments=72 nbFailedAssignments=35 nbBacktracks=25 nbVisitedNodes=128
3.11 nbRestartNogoods=4 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=0.386 cpuTime=0.33 mem=66M628
3.22
3.22 search
3.22 run=2 nbConstraintChecks=165207 nbValidityChecks=331907 nbPropagations=3844 nbRevisions=48487
3.22 nbUselessRevisions=39582 nbAssignments=123 nbFailedAssignments=58 nbBacktracks=47 nbVisitedNodes=212
3.22 nbRestartNogoods=5 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.22 => wckTime=0.497 cpuTime=0.43 mem=66M628
3.48
3.48 search
3.48 run=3 nbConstraintChecks=309091 nbValidityChecks=621369 nbPropagations=7128 nbRevisions=88785
3.48 nbUselessRevisions=71714 nbAssignments=223 nbFailedAssignments=106 nbBacktracks=80 nbVisitedNodes=376
3.48 nbRestartNogoods=11 mapSize=70 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=0.758 cpuTime=0.69 mem=66M628
3.82
3.82 search
3.82 run=4 nbConstraintChecks=498165 nbValidityChecks=997779 nbPropagations=12064 nbRevisions=152058
3.82 nbUselessRevisions=122670 nbAssignments=350 nbFailedAssignments=164 nbBacktracks=131 nbVisitedNodes=582
3.82 nbRestartNogoods=16 mapSize=117 nbInferences=0 nbTooLargeKeys=0
3.82 => wckTime=1.092 cpuTime=1.02 mem=66M628
4.40
4.40 search
4.40 run=5 nbConstraintChecks=832052 nbValidityChecks=1652914 nbPropagations=19789 nbRevisions=252608
4.40 nbUselessRevisions=203093 nbAssignments=562 nbFailedAssignments=295 nbBacktracks=206 nbVisitedNodes=976
4.40 nbRestartNogoods=18 mapSize=182 nbInferences=0 nbTooLargeKeys=0
4.40 => wckTime=1.669 cpuTime=1.58 mem=66M628
5.25
5.25 search
5.25 run=6 nbConstraintChecks=1346348 nbValidityChecks=2665543 nbPropagations=31721 nbRevisions=414670
5.25 nbUselessRevisions=333062 nbAssignments=935 nbFailedAssignments=548 nbBacktracks=319 nbVisitedNodes=1689
5.25 nbRestartNogoods=24 mapSize=286 nbInferences=0 nbTooLargeKeys=0
5.25 => wckTime=2.523 cpuTime=2.43 mem=66M628
6.34
6.34 search
6.34 run=7 nbConstraintChecks=1960225 nbValidityChecks=3901788 nbPropagations=49503 nbRevisions=657159
6.34 nbUselessRevisions=528039 nbAssignments=1331 nbFailedAssignments=766 nbBacktracks=490 nbVisitedNodes=2430
6.34 nbRestartNogoods=28 mapSize=450 nbInferences=0 nbTooLargeKeys=0
6.34 => wckTime=3.612 cpuTime=3.5 mem=66M628
7.82
7.82 search
7.82 run=8 nbConstraintChecks=2820418 nbValidityChecks=5668312 nbPropagations=76307 nbRevisions=1009619
7.82 nbUselessRevisions=810091 nbAssignments=2014 nbFailedAssignments=1186 nbBacktracks=746 nbVisitedNodes=3700
7.82 nbRestartNogoods=40 mapSize=670 nbInferences=0 nbTooLargeKeys=0
7.82 => wckTime=5.094 cpuTime=4.95 mem=66M628
10.06
10.06 search
10.06 run=9 nbConstraintChecks=4130228 nbValidityChecks=8371832 nbPropagations=115826 nbRevisions=1540837
10.06 nbUselessRevisions=1237493 nbAssignments=2995 nbFailedAssignments=1750 nbBacktracks=1130 nbVisitedNodes=5483
10.06 nbRestartNogoods=51 mapSize=1030 nbInferences=0 nbTooLargeKeys=0
10.06 => wckTime=7.332 cpuTime=7.16 mem=66M628
10.18
10.18 INFO : Stopping hyperNogood (mapSize=1046, nbTooLargekeys=0, mem=66M628)
13.23
13.23 search
13.23 run=10 nbConstraintChecks=6048592 nbValidityChecks=12302218 nbPropagations=173765 nbRevisions=2315244
13.23 nbUselessRevisions=1858924 nbAssignments=4607 nbFailedAssignments=2779 nbBacktracks=1706 nbVisitedNodes=8517
13.23 nbRestartNogoods=57
13.23 => wckTime=10.5 cpuTime=10.29 mem=66M628
18.43
18.43 search
18.43 run=11 nbConstraintChecks=9181985 nbValidityChecks=18649619 nbPropagations=261488 nbRevisions=3503057
18.43 nbUselessRevisions=2815197 nbAssignments=6989 nbFailedAssignments=4290 nbBacktracks=2570 nbVisitedNodes=12997
18.43 nbRestartNogoods=62
18.43 => wckTime=15.703 cpuTime=15.44 mem=66M628
25.85
25.85 search
25.85 run=12 nbConstraintChecks=13703923 nbValidityChecks=27875425 nbPropagations=392143 nbRevisions=5265165
25.85 nbUselessRevisions=4230312 nbAssignments=10568 nbFailedAssignments=6564 nbBacktracks=3868 nbVisitedNodes=19735
25.85 nbRestartNogoods=73
25.85 => wckTime=23.125 cpuTime=22.79 mem=66M628
36.47
36.47 search
36.47 run=13 nbConstraintChecks=20052483 nbValidityChecks=40713685 nbPropagations=585573 nbRevisions=7882278
36.47 nbUselessRevisions=6334659 nbAssignments=15347 nbFailedAssignments=9388 nbBacktracks=5816 nbVisitedNodes=28659
36.47 nbRestartNogoods=86
36.47 => wckTime=33.742 cpuTime=33.29 mem=66M628
54.23
54.23 search
54.23 run=14 nbConstraintChecks=30813790 nbValidityChecks=62879040 nbPropagations=881104 nbRevisions=11851511
54.23 nbUselessRevisions=9516518 nbAssignments=23898 nbFailedAssignments=15002 nbBacktracks=8735 nbVisitedNodes=44838
54.23 nbRestartNogoods=99
54.23 => wckTime=51.502 cpuTime=50.88 mem=66M628
77.99
77.99 search
77.99 run=15 nbConstraintChecks=44954849 nbValidityChecks=91909846 nbPropagations=1312736 nbRevisions=17696671
77.99 nbUselessRevisions=14218476 nbAssignments=34870 nbFailedAssignments=21545 nbBacktracks=13113
77.99 nbVisitedNodes=65172 nbRestartNogoods=125
77.99 => wckTime=75.261 cpuTime=74.42 mem=66M628
121.38
121.38 search
121.38 run=16 nbConstraintChecks=71035668 nbValidityChecks=145342932 nbPropagations=1988793 nbRevisions=26842976
121.38 nbUselessRevisions=21577485 nbAssignments=54156 nbFailedAssignments=34256 nbBacktracks=19681
121.38 nbVisitedNodes=102075 nbRestartNogoods=137
121.38 => wckTime=118.653 cpuTime=117.4 mem=66M628
177.67
177.67 search
177.67 run=17 nbConstraintChecks=104984160 nbValidityChecks=213049129 nbPropagations=3001055 nbRevisions=40557240
177.67 nbUselessRevisions=32623434 nbAssignments=79186 nbFailedAssignments=49427 nbBacktracks=29533
177.67 nbVisitedNodes=148913 nbRestartNogoods=158
177.67 => wckTime=174.945 cpuTime=173.17 mem=66M628
268.62
268.63 search
268.63 run=18 nbConstraintChecks=159321424 nbValidityChecks=324208829 nbPropagations=4533418 nbRevisions=61021103
268.63 nbUselessRevisions=49065680 nbAssignments=119512 nbFailedAssignments=74968 nbBacktracks=44311
268.63 nbVisitedNodes=225083 nbRestartNogoods=167
268.63 => wckTime=265.898 cpuTime=263.13 mem=66M628
382.00
382.00 search
382.00 run=19 nbConstraintChecks=234490642 nbValidityChecks=476715417 nbPropagations=6781224 nbRevisions=91167786
382.00 nbUselessRevisions=73306103 nbAssignments=176262 nbFailedAssignments=109543 nbBacktracks=66481
382.00 nbVisitedNodes=330787 nbRestartNogoods=182
382.00 => wckTime=379.274 cpuTime=376.43 mem=66M628
570.69
570.69 search
570.69 run=20 nbConstraintChecks=360827637 nbValidityChecks=734456681 nbPropagations=10219940 nbRevisions=137147205
570.69 nbUselessRevisions=110224789 nbAssignments=268896 nbFailedAssignments=168921 nbBacktracks=99733
570.69 nbVisitedNodes=506603 nbRestartNogoods=198
570.69 => wckTime=567.962 cpuTime=565.07 mem=66M628
811.68
811.68 search
811.68 run=21 nbConstraintChecks=521233464 nbValidityChecks=1061283762 nbPropagations=15276007 nbRevisions=204839604
811.68 nbUselessRevisions=164662942 nbAssignments=393174 nbFailedAssignments=243316 nbBacktracks=149611
811.68 nbVisitedNodes=738204 nbRestartNogoods=211
811.68 => wckTime=808.95 cpuTime=805.98 mem=66M628
1201.21
1201.21 search
1201.21 run=22 nbConstraintChecks=782273245 nbValidityChecks=1592272764 nbPropagations=22835285 nbRevisions=305460440
1201.21 nbUselessRevisions=245418993 nbAssignments=592693 nbFailedAssignments=368010 nbBacktracks=224429
1201.21 nbVisitedNodes=1113495 nbRestartNogoods=227
1201.21 => wckTime=1198.485 cpuTime=1195.4 mem=66M628
1788.31
1788.32 search
1788.32 run=23 nbConstraintChecks=1172118884 nbValidityChecks=2375263605 nbPropagations=34110083 nbRevisions=456874194
1788.32 nbUselessRevisions=367166059 nbAssignments=873144 nbFailedAssignments=536216 nbBacktracks=336656
1788.32 nbVisitedNodes=1636842 nbRestartNogoods=247
1788.32 => wckTime=1785.589 cpuTime=1782.34 mem=66M628
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-206800-1168178055 -o ROOT/results/node40/solver-206800-1168178055 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206800-1168178055/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.11 2.04 2.01 4/85 22352
/proc/meminfo: memFree=1158648/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=89776 CPUtime=0
/proc/22351/stat : 22351 (java) D 22349 22351 21257 0 -1 0 1273 0 1 0 0 0 0 0 17 0 1 0 166204860 91930624 1022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/22351/statm: 22444 1022 811 14 0 10027 0
[pid=22351/tid=22353] ppid=22349 vsize=906644 CPUtime=0
/proc/22351/task/22353/stat : 22353 (java) R 22349 22351 21257 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 166204864 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102734 s]
/proc/loadavg: 2.11 2.04 2.01 4/85 22352
/proc/meminfo: memFree=1158648/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=914988 CPUtime=0.08
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 2964 0 1 0 7 1 0 0 17 0 8 0 166204860 936947712 2710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072933107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228747 2710 1417 14 0 215242 0
[pid=22351/tid=22353] ppid=22349 vsize=914988 CPUtime=0
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 166204864 936947712 2710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510787 s]
/proc/loadavg: 2.11 2.04 2.01 4/85 22352
/proc/meminfo: memFree=1158648/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915328 CPUtime=0.49
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 7332 0 1 0 44 5 0 0 19 0 8 0 166204860 937295872 7071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228832 7071 2137 14 0 215302 0
[pid=22351/tid=22353] ppid=22349 vsize=915328 CPUtime=0
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 166204864 937295872 7071 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33189 s]
/proc/loadavg: 2.11 2.04 2.01 3/92 22359
/proc/meminfo: memFree=1091520/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915328 CPUtime=1.3
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 19099 0 1 0 119 11 0 0 25 0 8 0 166204860 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228832 18837 2149 14 0 215302 0
[pid=22351/tid=22353] ppid=22349 vsize=915328 CPUtime=0.06
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 2682 0 0 0 5 1 0 0 17 0 8 0 166204864 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915328 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915328 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915328 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915328 CPUtime=0.08
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 166204868 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915328 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915328 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98511 s]
/proc/loadavg: 2.18 2.05 2.01 4/92 22359
/proc/meminfo: memFree=1052224/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=2.93
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32573 0 1 0 274 19 0 0 25 0 8 0 166204860 937410560 32308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228860 32308 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 17 0 8 0 166204864 937410560 32308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.2
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 166204868 937410560 32308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.19252 s]
/proc/loadavg: 2.18 2.05 2.01 3/92 22359
/proc/meminfo: memFree=1038976/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=6.1
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32587 0 1 0 591 19 0 0 25 0 8 0 166204860 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228860 32320 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 17 0 8 0 166204864 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.23
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 385 0 0 0 22 1 0 0 15 0 8 0 166204868 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915440
[startup+12.6744 s]
/proc/loadavg: 2.15 2.05 2.01 3/92 22359
/proc/meminfo: memFree=1039104/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=12.53
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32604 0 1 0 1233 20 0 0 25 0 8 0 166204860 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228860 32335 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.26
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166204868 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915440
[startup+25.537 s]
/proc/loadavg: 2.13 2.05 2.01 3/92 22359
/proc/meminfo: memFree=1039360/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=25.28
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32604 0 1 0 2508 20 0 0 25 0 8 0 166204860 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228860 32335 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.26
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166204868 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915440
[startup+51.1894 s]
/proc/loadavg: 2.08 2.05 2.01 3/92 22359
/proc/meminfo: memFree=1039296/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=50.66
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32605 0 1 0 5046 20 0 0 25 0 8 0 166204860 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817817 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228860 32336 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915440
[startup+102.471 s]
/proc/loadavg: 2.03 2.04 2.00 3/92 22359
/proc/meminfo: memFree=1039360/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=101.46
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32606 0 1 0 10126 20 0 0 25 0 8 0 166204860 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22351/statm: 228860 32336 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915440
################
# More data... #
################
Current children cumulated CPU time (s) 1419.82
Current children cumulated vsize (KiB) 915440
[startup+1482.91 s]
/proc/loadavg: 1.00 1.00 1.24 2/72 22577
/proc/meminfo: memFree=1689832/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=1479.82
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32606 0 1 0 147943 39 0 0 25 0 8 0 166204860 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805357 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22351/statm: 228860 32336 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1479.82
Current children cumulated vsize (KiB) 915440
[startup+1542.92 s]
/proc/loadavg: 1.00 1.00 1.23 2/72 22577
/proc/meminfo: memFree=1689896/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=1539.81
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32606 0 1 0 153942 39 0 0 25 0 8 0 166204860 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22351/statm: 228860 32336 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.81
Current children cumulated vsize (KiB) 915440
[startup+1602.93 s]
/proc/loadavg: 1.00 1.00 1.21 2/72 22577
/proc/meminfo: memFree=1689896/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=1599.8
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32606 0 1 0 159941 39 0 0 25 0 8 0 166204860 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22351/statm: 228860 32336 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.8
Current children cumulated vsize (KiB) 915440
[startup+1662.94 s]
/proc/loadavg: 1.00 1.00 1.19 2/72 22577
/proc/meminfo: memFree=1689960/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=1659.79
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32606 0 1 0 165940 39 0 0 25 0 8 0 166204860 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22351/statm: 228860 32336 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.79
Current children cumulated vsize (KiB) 915440
[startup+1722.95 s]
/proc/loadavg: 1.00 1.00 1.18 2/72 22577
/proc/meminfo: memFree=1689960/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=1719.79
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32606 0 1 0 171940 39 0 0 25 0 8 0 166204860 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22351/statm: 228860 32336 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.79
Current children cumulated vsize (KiB) 915440
[startup+1782.97 s]
/proc/loadavg: 1.00 1.00 1.16 2/72 22577
/proc/meminfo: memFree=1689960/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=1779.78
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32606 0 1 0 177939 39 0 0 25 0 8 0 166204860 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22351/statm: 228860 32336 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.78
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.23 s]
/proc/loadavg: 1.00 1.00 1.16 2/72 22577
/proc/meminfo: memFree=1689896/2055920 swapFree=4192812/4192956
[pid=22351] ppid=22349 vsize=915440 CPUtime=1800.04
/proc/22351/stat : 22351 (java) R 22349 22351 21257 0 -1 0 32607 0 1 0 179965 39 0 0 25 0 8 0 166204860 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22351/statm: 228860 32337 2531 14 0 215330 0
[pid=22351/tid=22353] ppid=22349 vsize=915440 CPUtime=0.46
/proc/22351/task/22353/stat : 22353 (java) S 22349 22351 21257 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 166204864 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22354] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22354/stat : 22354 (java) S 22349 22351 21257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22355] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22355/stat : 22355 (java) S 22349 22351 21257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166204864 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22356] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22356/stat : 22356 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166204868 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22357] ppid=22349 vsize=915440 CPUtime=0.27
/proc/22351/task/22357/stat : 22357 (java) S 22349 22351 21257 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 166204868 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22358] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22358/stat : 22358 (java) S 22349 22351 21257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166204868 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22351/tid=22359] ppid=22349 vsize=915440 CPUtime=0
/proc/22351/task/22359/stat : 22359 (java) S 22349 22351 21257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166204868 937410560 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.3
CPU time (s): 1800.12
CPU user time (s): 1799.7
CPU system time (s): 0.419936
CPU usage (%): 99.8237
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.419936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32623
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= 37645
involuntary context switches= 36109
runsolver used 1.83672 s user time and 5.05323 s system time
The end
Begin job on node40 on Sun Jan 7 13:54:15 UTC 2007
IDJOB= 206800
IDBENCH= 4236
FILE ID= node40/206800-1168178055
PBS_JOBID= 3479075
Free space on /tmp= 66539 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206800-1168178055/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-206800-1168178055 -o ROOT/results/node40/solver-206800-1168178055 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206800-1168178055/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6ca11a40fe629bd40af8bb1fd5267065
RANDOM SEED= 277291773
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.239
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.239
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: 1159064 kB
Buffers: 11352 kB
Cached: 173404 kB
SwapCached: 0 kB
Active: 726488 kB
Inactive: 115196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1159064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7476 kB
Writeback: 0 kB
Mapped: 677108 kB
Slab: 39100 kB
Committed_AS: 4068752 kB
PageTables: 3072 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= 66547 MiB
End job on node40 on Sun Jan 7 14:24:20 UTC 2007