0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/229812-1168311252/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.54
0.54 constraints being loaded...
0.68 nbConstraints=485 nbRelationTypes=485 nbExtensionStructures=485 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=485 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2711 maxDegree=27
0.68 maxArity=2
0.68 => wckTime=0.386 cpuTime=0.28 mem=17M712
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.589 cpuTime=0.41 mem=15M615
0.95
0.95 preprocessing
0.95 nbConstraintChecks=110590 nbPropagations=1215 nbRevisions=10730 nbUselessRevisions=9138 nbSingletonTests=59
0.95 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.95 => wckTime=0.06 cpuTime=0.04 mem=15M615
0.98
0.98 search
0.98 run=0 nbConstraintChecks=46438 nbPropagations=1808 nbRevisions=18644 nbUselessRevisions=15691 nbAssignments=33
0.98 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.09 cpuTime=0.07 mem=15M615
1.00
1.00 search
1.00 run=1 nbConstraintChecks=113292 nbPropagations=4398 nbRevisions=48080 nbUselessRevisions=40283
1.00 nbAssignments=74 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=114 nbRestartNogoods=3 mapSize=24
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.111 cpuTime=0.08 mem=15M615
1.01
1.01 search
1.01 run=2 nbConstraintChecks=186439 nbPropagations=7919 nbRevisions=89648 nbUselessRevisions=75171
1.01 nbAssignments=122 nbFailedAssignments=36 nbBacktracks=47 nbVisitedNodes=187 nbRestartNogoods=6 mapSize=42
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.125 cpuTime=0.1 mem=15M615
1.03
1.03 search
1.03 run=3 nbConstraintChecks=283101 nbPropagations=12691 nbRevisions=149399 nbUselessRevisions=125419
1.03 nbAssignments=188 nbFailedAssignments=59 nbBacktracks=81 nbVisitedNodes=294 nbRestartNogoods=10 mapSize=72
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.145 cpuTime=0.11 mem=15M615
1.06
1.07 search
1.07 run=4 nbConstraintChecks=435791 nbPropagations=19351 nbRevisions=237594 nbUselessRevisions=199358
1.07 nbAssignments=287 nbFailedAssignments=93 nbBacktracks=132 nbVisitedNodes=453 nbRestartNogoods=11 mapSize=114
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.176 cpuTime=0.14 mem=15M615
1.11
1.11 search
1.11 run=5 nbConstraintChecks=695242 nbPropagations=28988 nbRevisions=368869 nbUselessRevisions=308815
1.11 nbAssignments=452 nbFailedAssignments=149 nbBacktracks=208 nbVisitedNodes=693 nbRestartNogoods=19 mapSize=180
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.224 cpuTime=0.19 mem=15M615
1.17
1.17 search
1.17 run=6 nbConstraintChecks=985654 nbPropagations=42033 nbRevisions=554030 nbUselessRevisions=463011
1.17 nbAssignments=645 nbFailedAssignments=218 nbBacktracks=323 nbVisitedNodes=1013 nbRestartNogoods=26 mapSize=271
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.281 cpuTime=0.24 mem=15M615
1.25
1.25 search
1.25 run=7 nbConstraintChecks=1462575 nbPropagations=60708 nbRevisions=828329 nbUselessRevisions=690065
1.25 nbAssignments=941 nbFailedAssignments=335 nbBacktracks=494 nbVisitedNodes=1522 nbRestartNogoods=31 mapSize=418
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.362 cpuTime=0.32 mem=15M615
1.37
1.37 search
1.37 run=8 nbConstraintChecks=2116734 nbPropagations=87242 nbRevisions=1231506 nbUselessRevisions=1024853
1.37 nbAssignments=1384 nbFailedAssignments=508 nbBacktracks=751 nbVisitedNodes=2271 nbRestartNogoods=33
1.37 mapSize=626 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.482 cpuTime=0.43 mem=15M615
1.56
1.56 search
1.56 run=9 nbConstraintChecks=3185700 nbPropagations=126425 nbRevisions=1834149 nbUselessRevisions=1525321
1.56 nbAssignments=2041 nbFailedAssignments=746 nbBacktracks=1136 nbVisitedNodes=3356 nbRestartNogoods=40
1.56 mapSize=951 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.669 cpuTime=0.61 mem=15M615
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=15M615)
1.79
1.79 search
1.79 run=10 nbConstraintChecks=4586990 nbPropagations=182616 nbRevisions=2710201 nbUselessRevisions=2253214
1.79 nbAssignments=2973 nbFailedAssignments=1088 nbBacktracks=1712 nbVisitedNodes=4923 nbRestartNogoods=45
1.79 => wckTime=0.902 cpuTime=0.82 mem=15M615
2.12
2.12 search
2.12 run=11 nbConstraintChecks=6826779 nbPropagations=264893 nbRevisions=4005554 nbUselessRevisions=3326050
2.12 nbAssignments=4369 nbFailedAssignments=1610 nbBacktracks=2577 nbVisitedNodes=7296 nbRestartNogoods=52
2.12 => wckTime=1.233 cpuTime=1.15 mem=15M615
2.59
2.59 search
2.59 run=12 nbConstraintChecks=9985201 nbPropagations=384823 nbRevisions=5906994 nbUselessRevisions=4901592
2.59 nbAssignments=6414 nbFailedAssignments=2345 nbBacktracks=3875 nbVisitedNodes=10761 nbRestartNogoods=56
2.59 => wckTime=1.704 cpuTime=1.62 mem=15M615
3.30
3.30 search
3.30 run=13 nbConstraintChecks=14854446 nbPropagations=562843 nbRevisions=8730016 nbUselessRevisions=7239827
3.30 nbAssignments=9427 nbFailedAssignments=3401 nbBacktracks=5825 nbVisitedNodes=15898 nbRestartNogoods=64
3.30 => wckTime=2.415 cpuTime=2.32 mem=15M615
4.47
4.47 search
4.47 run=14 nbConstraintChecks=23042225 nbPropagations=834858 nbRevisions=13073850 nbUselessRevisions=10833670
4.47 nbAssignments=14147 nbFailedAssignments=5192 nbBacktracks=8744 nbVisitedNodes=24025 nbRestartNogoods=69
4.48 => wckTime=3.587 cpuTime=3.48 mem=15M615
6.16
6.16 search
6.16 run=15 nbConstraintChecks=34133693 nbPropagations=1243612 nbRevisions=19650949 nbUselessRevisions=16287576
6.16 nbAssignments=21348 nbFailedAssignments=7985 nbBacktracks=13126 nbVisitedNodes=36415 nbRestartNogoods=80
6.16 => wckTime=5.27 cpuTime=5.15 mem=16M590
8.50
8.50 search
8.50 run=16 nbConstraintChecks=49698767 nbPropagations=1845428 nbRevisions=29327930 nbUselessRevisions=24321643
8.50 nbAssignments=31780 nbFailedAssignments=11835 nbBacktracks=19695 nbVisitedNodes=54196 nbRestartNogoods=88
8.50 => wckTime=7.613 cpuTime=7.48 mem=16M590
12.29
12.29 search
12.29 run=17 nbConstraintChecks=75819628 nbPropagations=2753973 nbRevisions=43983513 nbUselessRevisions=36479237
12.29 nbAssignments=47781 nbFailedAssignments=17953 nbBacktracks=29548 nbVisitedNodes=81576 nbRestartNogoods=100
12.29 => wckTime=11.405 cpuTime=11.24 mem=16M590
17.80
17.80 search
17.80 run=18 nbConstraintChecks=111953868 nbPropagations=4103328 nbRevisions=65779078 nbUselessRevisions=54565316
17.80 nbAssignments=71499 nbFailedAssignments=26876 nbBacktracks=44329 nbVisitedNodes=122182 nbRestartNogoods=106
17.80 => wckTime=16.91 cpuTime=16.68 mem=16M590
25.94
25.94 search
25.94 run=19 nbConstraintChecks=165637779 nbPropagations=6118789 nbRevisions=98273435 nbUselessRevisions=81550205
25.94 nbAssignments=106920 nbFailedAssignments=40078 nbBacktracks=66500 nbVisitedNodes=182452 nbRestartNogoods=112
25.94 => wckTime=25.055 cpuTime=24.77 mem=16M590
39.07
39.07 search
39.07 run=20 nbConstraintChecks=253754784 nbPropagations=9173574 nbRevisions=148176545 nbUselessRevisions=123056891
39.07 nbAssignments=161502 nbFailedAssignments=61395 nbBacktracks=99756 nbVisitedNodes=276816 nbRestartNogoods=119
39.07 => wckTime=38.181 cpuTime=37.78 mem=16M590
58.78
58.78 search
58.78 run=21 nbConstraintChecks=387410883 nbPropagations=13817371 nbRevisions=224199942 nbUselessRevisions=186269803
58.78 nbAssignments=243058 nbFailedAssignments=93065 nbBacktracks=149634 nbVisitedNodes=417917 nbRestartNogoods=128
58.78 => wckTime=57.894 cpuTime=57.35 mem=16M590
87.66
87.66 search
87.66 run=22 nbConstraintChecks=578916997 nbPropagations=20790323 nbRevisions=338553496 nbUselessRevisions=281480630
87.66 nbAssignments=364669 nbFailedAssignments=139846 nbBacktracks=224455 nbVisitedNodes=627229 nbRestartNogoods=142
87.66 => wckTime=86.767 cpuTime=85.97 mem=16M590
130.99
130.99 search
130.99 run=23 nbConstraintChecks=871705151 nbPropagations=31216688 nbRevisions=509742397 nbUselessRevisions=424004588
130.99 nbAssignments=545834 nbFailedAssignments=208772 nbBacktracks=336682 nbVisitedNodes=939107 nbRestartNogoods=158
130.99 => wckTime=130.101 cpuTime=128.96 mem=16M590
196.56
196.56 search
196.56 run=24 nbConstraintChecks=1322505183 nbPropagations=46877808 nbRevisions=765530729 nbUselessRevisions=636500820
196.56 nbAssignments=814978 nbFailedAssignments=309567 nbBacktracks=505023 nbVisitedNodes=1400396 nbRestartNogoods=170
196.56 => wckTime=195.672 cpuTime=193.98 mem=16M590
296.33
296.33 search
296.33 run=25 nbConstraintChecks=1998467833 nbPropagations=70423213 nbRevisions=1152498323
296.33 nbUselessRevisions=958329147 nbAssignments=1226005 nbFailedAssignments=468071 nbBacktracks=757534
296.33 nbVisitedNodes=2108505 nbRestartNogoods=181
296.33 => wckTime=295.437 cpuTime=292.94 mem=16M590
439.71
439.71 search
439.71 run=26 nbConstraintChecks=2974174241 nbPropagations=105387603 nbRevisions=1724709407
439.71 nbUselessRevisions=1433747176 nbAssignments=1826646 nbFailedAssignments=689934 nbBacktracks=1136302
439.71 nbVisitedNodes=3131474 nbRestartNogoods=197
439.71 => wckTime=438.817 cpuTime=435.07 mem=16M590
481.85
481.85 search
481.85 run=27 nbConstraintChecks=3260273496 nbPropagations=143704074 nbRevisions=2351541344
481.85 nbUselessRevisions=1954467863 nbAssignments=1997401 nbFailedAssignments=756010 nbBacktracks=1240912
481.85 nbVisitedNodes=3426844 nbRestartNogoods=212
481.85 => wckTime=480.958 cpuTime=476.63 mem=16M590
481.85
481.85 global
481.85 nbConstraintChecks=3260384086 nbPropagations=143705289 nbRevisions=2351552074 nbUselessRevisions=1954477001
481.85 nbRestartNogoods=212 solvingWckTime=480.959 solvingCpuTime=476.63 expiredTime=no totalExploration=no
481.85 nbFoundSolutions=1 globalCpuTime=477.08
481.85 => wckTime=481.551 cpuTime=477.04 mem=16M590
482.50
482.50 s SATISFIABLE
482.50 v 1 2 20 12 16 12 12 19 12 17 1 7 13 9 10 7 11 4 18 18 5 21 10 9 15 0 20 19 18 5 19 14 7 2 12 21 18 15 12 11 4 9 11 17 2 2 5 1 8 14
482.50 d NODES 1997401
482.50 d CHECKS 3260384086
482.50
482.50 totalWckTime=482.281 totalCpuTime=477.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-229812-1168311252 -o ROOT/results/node60/solver-229812-1168311252 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229812-1168311252/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.06 2.03 1.95 5/81 9227
/proc/meminfo: memFree=1448712/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=18540 CPUtime=0
/proc/9226/stat : 9226 (runsolver) R 9224 9226 8919 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 179523080 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9226/statm: 4635 279 244 17 0 2626 0
[startup+0.1032 s]
/proc/loadavg: 2.06 2.03 1.95 5/81 9227
/proc/meminfo: memFree=1448712/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=914988 CPUtime=0.09
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 3016 0 1 0 8 1 0 0 23 0 8 0 179523080 936947712 2762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155338204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228747 2762 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51124 s]
/proc/loadavg: 2.06 2.03 1.95 5/81 9227
/proc/meminfo: memFree=1448712/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915328 CPUtime=0.49
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 7154 0 1 0 45 4 0 0 25 0 8 0 179523080 937295872 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228832 6893 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33232 s]
/proc/loadavg: 2.13 2.04 1.95 3/89 9235
/proc/meminfo: memFree=1360328/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=1.29
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9697 0 1 0 123 6 0 0 25 0 8 0 179523080 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824112 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9435 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.22
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 179523087 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.96948 s]
/proc/loadavg: 2.13 2.04 1.95 3/89 9235
/proc/meminfo: memFree=1359944/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=2.92
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9713 0 1 0 286 6 0 0 25 0 8 0 179523080 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9450 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 17 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.2608 s]
/proc/loadavg: 2.13 2.04 1.95 3/89 9235
/proc/meminfo: memFree=1359944/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=6.18
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9714 0 1 0 612 6 0 0 25 0 8 0 179523080 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9450 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7314 s]
/proc/loadavg: 2.11 2.04 1.95 3/89 9235
/proc/meminfo: memFree=1360080/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=12.61
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9714 0 1 0 1255 6 0 0 25 0 8 0 179523080 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9450 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.5927 s]
/proc/loadavg: 2.17 2.06 1.96 3/89 9235
/proc/meminfo: memFree=1360208/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=25.35
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9714 0 1 0 2529 6 0 0 25 0 8 0 179523080 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9450 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9450 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.1932 s]
/proc/loadavg: 2.11 2.05 1.96 3/89 9235
/proc/meminfo: memFree=1360208/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=50.76
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9716 0 1 0 5069 7 0 0 25 0 8 0 179523080 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9451 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915460
[startup+102.483 s]
/proc/loadavg: 2.04 2.04 1.96 4/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=101.63
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 10156 7 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814934 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 915460
[startup+162.515 s]
/proc/loadavg: 2.01 2.03 1.96 3/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=161.16
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 16109 7 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.16
Current children cumulated vsize (KiB) 915460
[startup+222.543 s]
/proc/loadavg: 2.00 2.02 1.96 3/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=220.7
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 22063 7 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.7
Current children cumulated vsize (KiB) 915460
[startup+282.592 s]
/proc/loadavg: 2.00 2.02 1.96 3/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=280.26
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 28019 7 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.26
Current children cumulated vsize (KiB) 915460
[startup+342.619 s]
/proc/loadavg: 2.05 2.03 1.96 3/89 9235
/proc/meminfo: memFree=1347152/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=339.8
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 33972 8 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (KiB) 915460
[startup+402.675 s]
/proc/loadavg: 2.02 2.02 1.96 3/89 9235
/proc/meminfo: memFree=1326288/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=399.35
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 39927 8 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.35
Current children cumulated vsize (KiB) 915460
[startup+462.726 s]
/proc/loadavg: 2.00 2.02 1.96 3/95 9381
/proc/meminfo: memFree=1325016/2055920 swapFree=4192812/4192956
[pid=9226] ppid=9224 vsize=915460 CPUtime=458.8
/proc/9226/stat : 9226 (java) R 9224 9226 8919 0 -1 0 9717 0 1 0 45864 16 0 0 25 0 8 0 179523080 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9226/statm: 228865 9452 2524 14 0 215335 0
[pid=9226/tid=9228] ppid=9224 vsize=915460 CPUtime=0.03
/proc/9226/task/9228/stat : 9228 (java) S 9224 9226 8919 0 -1 64 416 0 0 0 3 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9229] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9229/stat : 9229 (java) S 9224 9226 8919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9230] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9230/stat : 9230 (java) S 9224 9226 8919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179523084 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9231] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9231/stat : 9231 (java) S 9224 9226 8919 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9232] ppid=9224 vsize=915460 CPUtime=0.25
/proc/9226/task/9232/stat : 9232 (java) S 9224 9226 8919 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9233] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9233/stat : 9233 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9226/tid=9234] ppid=9224 vsize=915460 CPUtime=0
/proc/9226/task/9234/stat : 9234 (java) S 9224 9226 8919 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179523087 937431040 9452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.8
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 482.562
CPU time (s): 477.599
CPU user time (s): 477.409
CPU system time (s): 0.189971
CPU usage (%): 98.9717
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 477.409
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9727
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= 10956
involuntary context switches= 29117
runsolver used 0.451931 s user time and 1.36479 s system time
The end
Begin job on node60 on Tue Jan 9 02:54:12 UTC 2007
IDJOB= 229812
IDBENCH= 6361
FILE ID= node60/229812-1168311252
PBS_JOBID= 3502381
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229812-1168311252/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-229812-1168311252 -o ROOT/results/node60/solver-229812-1168311252 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229812-1168311252/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2eeb2adecc305b0db93e86ea3cbf860e
RANDOM SEED= 343520781
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: 1449640 kB
Buffers: 71700 kB
Cached: 427012 kB
SwapCached: 0 kB
Active: 222068 kB
Inactive: 323648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1449640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5820 kB
Writeback: 0 kB
Mapped: 66028 kB
Slab: 45640 kB
Committed_AS: 5101516 kB
PageTables: 2008 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= 66559 MiB
End job on node60 on Tue Jan 9 03:02:15 UTC 2007