0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/217163-1168244479/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=45 nbDomainTypes=1 minDomainSize=21 maxDomainSize=21
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.55
0.55 constraints being loaded...
0.67 nbConstraints=375 nbRelationTypes=375 nbExtensionStructures=375 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=375 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1766 maxDegree=24
0.67 maxArity=2
0.67 => wckTime=0.352 cpuTime=0.26 mem=14M761
0.71
0.71 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.554 cpuTime=0.4 mem=15M290
0.93
0.93 preprocessing
0.93 nbConstraintChecks=83324 nbPropagations=960 nbRevisions=7672 nbUselessRevisions=6274 nbSingletonTests=51
0.93 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.054 cpuTime=0.04 mem=15M290
0.95
0.95 search
0.95 run=0 nbConstraintChecks=45220 nbPropagations=1517 nbRevisions=14054 nbUselessRevisions=11379 nbAssignments=26
0.95 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.081 cpuTime=0.05 mem=15M290
0.98
0.98 search
0.98 run=1 nbConstraintChecks=97825 nbPropagations=3654 nbRevisions=35424 nbUselessRevisions=28572 nbAssignments=60
0.98 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=93 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.104 cpuTime=0.07 mem=15M290
0.99
0.99 search
0.99 run=2 nbConstraintChecks=169108 nbPropagations=6751 nbRevisions=68661 nbUselessRevisions=55344
0.99 nbAssignments=106 nbFailedAssignments=31 nbBacktracks=48 nbVisitedNodes=172 nbRestartNogoods=5 mapSize=41
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.12 cpuTime=0.08 mem=15M290
1.01
1.01 search
1.01 run=3 nbConstraintChecks=286166 nbPropagations=11294 nbRevisions=121409 nbUselessRevisions=97855
1.01 nbAssignments=176 nbFailedAssignments=58 nbBacktracks=81 nbVisitedNodes=292 nbRestartNogoods=8 mapSize=71
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.142 cpuTime=0.1 mem=15M290
1.05
1.05 search
1.05 run=4 nbConstraintChecks=483733 nbPropagations=18116 nbRevisions=205210 nbUselessRevisions=164685
1.05 nbAssignments=284 nbFailedAssignments=109 nbBacktracks=132 nbVisitedNodes=484 nbRestartNogoods=11 mapSize=117
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.181 cpuTime=0.14 mem=15M290
1.09
1.09 search
1.09 run=5 nbConstraintChecks=701490 nbPropagations=27541 nbRevisions=323348 nbUselessRevisions=258633
1.10 nbAssignments=416 nbFailedAssignments=160 nbBacktracks=207 nbVisitedNodes=709 nbRestartNogoods=17 mapSize=178
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.222 cpuTime=0.18 mem=15M290
1.16
1.16 search
1.16 run=6 nbConstraintChecks=1058943 nbPropagations=41268 nbRevisions=501451 nbUselessRevisions=400246
1.16 nbAssignments=628 nbFailedAssignments=251 nbBacktracks=320 nbVisitedNodes=1078 nbRestartNogoods=19 mapSize=271
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.291 cpuTime=0.24 mem=15M290
1.24
1.25 search
1.25 run=7 nbConstraintChecks=1511859 nbPropagations=60757 nbRevisions=756033 nbUselessRevisions=602484
1.25 nbAssignments=923 nbFailedAssignments=368 nbBacktracks=490 nbVisitedNodes=1586 nbRestartNogoods=26 mapSize=414
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.373 cpuTime=0.32 mem=15M290
1.37
1.37 search
1.37 run=8 nbConstraintChecks=2241717 nbPropagations=88937 nbRevisions=1134859 nbUselessRevisions=904441
1.37 nbAssignments=1374 nbFailedAssignments=556 nbBacktracks=746 nbVisitedNodes=2371 nbRestartNogoods=34
1.37 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.502 cpuTime=0.44 mem=15M290
1.57
1.57 search
1.57 run=9 nbConstraintChecks=3321225 nbPropagations=130445 nbRevisions=1694232 nbUselessRevisions=1350002
1.57 nbAssignments=2067 nbFailedAssignments=854 nbBacktracks=1131 nbVisitedNodes=3586 nbRestartNogoods=39
1.57 mapSize=964 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.695 cpuTime=0.62 mem=15M290
1.60
1.60 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M290)
1.82
1.82 search
1.82 run=10 nbConstraintChecks=4830368 nbPropagations=190794 nbRevisions=2520197 nbUselessRevisions=2010923
1.82 nbAssignments=3058 nbFailedAssignments=1264 nbBacktracks=1707 nbVisitedNodes=5307 nbRestartNogoods=45
1.82 => wckTime=0.946 cpuTime=0.86 mem=15M290
2.18
2.18 search
2.18 run=11 nbConstraintChecks=7128630 nbPropagations=280403 nbRevisions=3768347 nbUselessRevisions=3013269
2.18 nbAssignments=4577 nbFailedAssignments=1911 nbBacktracks=2571 nbVisitedNodes=7985 nbRestartNogoods=51
2.18 => wckTime=1.309 cpuTime=1.22 mem=15M290
2.74
2.74 search
2.74 run=12 nbConstraintChecks=10889397 nbPropagations=414519 nbRevisions=5626046 nbUselessRevisions=4499964
2.74 nbAssignments=6775 nbFailedAssignments=2803 nbBacktracks=3871 nbVisitedNodes=11804 nbRestartNogoods=58
2.74 => wckTime=1.863 cpuTime=1.77 mem=15M290
3.43
3.43 search
3.43 run=13 nbConstraintChecks=15392238 nbPropagations=605211 nbRevisions=8264579 nbUselessRevisions=6612597
3.43 nbAssignments=9789 nbFailedAssignments=3862 nbBacktracks=5820 nbVisitedNodes=16881 nbRestartNogoods=65
3.43 => wckTime=2.559 cpuTime=2.45 mem=15M290
4.63
4.63 search
4.63 run=14 nbConstraintChecks=23146022 nbPropagations=894516 nbRevisions=12274580 nbUselessRevisions=9827755
4.63 nbAssignments=14711 nbFailedAssignments=5856 nbBacktracks=8741 nbVisitedNodes=25493 nbRestartNogoods=69
4.63 => wckTime=3.757 cpuTime=3.64 mem=15M290
6.33
6.33 search
6.33 run=15 nbConstraintChecks=34306510 nbPropagations=1322230 nbRevisions=18214299 nbUselessRevisions=14591482
6.33 nbAssignments=21815 nbFailedAssignments=8575 nbBacktracks=13120 nbVisitedNodes=37677 nbRestartNogoods=77
6.33 => wckTime=5.456 cpuTime=5.32 mem=15M290
8.82
8.82 search
8.82 run=16 nbConstraintChecks=50451689 nbPropagations=1959085 nbRevisions=26994228 nbUselessRevisions=21633539
8.82 nbAssignments=32521 nbFailedAssignments=12705 nbBacktracks=19689 nbVisitedNodes=56095 nbRestartNogoods=86
8.82 => wckTime=7.947 cpuTime=7.79 mem=15M290
12.61
12.61 search
12.61 run=17 nbConstraintChecks=75715521 nbPropagations=2903488 nbRevisions=40051729 nbUselessRevisions=32097267
12.61 nbAssignments=48394 nbFailedAssignments=18720 nbBacktracks=29541 nbVisitedNodes=83284 nbRestartNogoods=96
12.61 => wckTime=11.741 cpuTime=11.55 mem=15M290
18.53
18.53 search
18.53 run=18 nbConstraintChecks=115595556 nbPropagations=4333680 nbRevisions=59872657 nbUselessRevisions=47982045
18.53 nbAssignments=72971 nbFailedAssignments=28511 nbBacktracks=44319 nbVisitedNodes=126023 nbRestartNogoods=104
18.53 => wckTime=17.654 cpuTime=17.41 mem=16M265
27.31
27.31 search
27.31 run=19 nbConstraintChecks=172897899 nbPropagations=6476854 nbRevisions=89873875 nbUselessRevisions=72082345
27.31 nbAssignments=109867 nbFailedAssignments=43216 nbBacktracks=66489 nbVisitedNodes=190022 nbRestartNogoods=117
27.31 => wckTime=26.433 cpuTime=26.11 mem=16M265
40.59
40.59 search
40.59 run=20 nbConstraintChecks=262058378 nbPropagations=9708391 nbRevisions=134835154 nbUselessRevisions=108121426
40.59 nbAssignments=164568 nbFailedAssignments=64658 nbBacktracks=99742 nbVisitedNodes=284961 nbRestartNogoods=132
40.59 => wckTime=39.716 cpuTime=39.28 mem=16M265
60.10
60.10 search
60.10 run=21 nbConstraintChecks=391786345 nbPropagations=14548245 nbRevisions=201829302 nbUselessRevisions=161763213
60.10 nbAssignments=246533 nbFailedAssignments=96738 nbBacktracks=149621 nbVisitedNodes=426365 nbRestartNogoods=144
60.10 => wckTime=59.224 cpuTime=58.62 mem=16M265
89.34
89.35 search
89.35 run=22 nbConstraintChecks=586181072 nbPropagations=21791352 nbRevisions=302346632 nbUselessRevisions=242348580
89.35 nbAssignments=369938 nbFailedAssignments=145316 nbBacktracks=224439 nbVisitedNodes=639978 nbRestartNogoods=156
89.35 => wckTime=88.47 cpuTime=87.61 mem=16M265
132.32
132.32 search
132.32 run=23 nbConstraintChecks=878664092 nbPropagations=32611970 nbRevisions=453598584 nbUselessRevisions=363762079
132.32 nbAssignments=554863 nbFailedAssignments=218003 nbBacktracks=336666 nbVisitedNodes=959314 nbRestartNogoods=174
132.32 => wckTime=131.448 cpuTime=130.3 mem=16M265
192.97
192.97 search
192.97 run=24 nbConstraintChecks=1313812699 nbPropagations=48854543 nbRevisions=679977501 nbUselessRevisions=545497615
192.97 nbAssignments=829877 nbFailedAssignments=324668 nbBacktracks=505007 nbVisitedNodes=1435204 nbRestartNogoods=194
192.97 => wckTime=192.093 cpuTime=190.88 mem=16M265
286.48
286.48 search
286.48 run=25 nbConstraintChecks=1988546672 nbPropagations=73357883 nbRevisions=1022363504
286.48 nbUselessRevisions=820380639 nbAssignments=1249319 nbFailedAssignments=491591 nbBacktracks=757520
286.48 nbVisitedNodes=2162303 nbRestartNogoods=217
286.48 => wckTime=285.605 cpuTime=284.29 mem=16M265
405.57
405.57 search
405.57 run=26 nbConstraintChecks=2853942204 nbPropagations=108389928 nbRevisions=1512494020
405.57 nbUselessRevisions=1213960731 nbAssignments=1787259 nbFailedAssignments=704240 nbBacktracks=1082766
405.57 nbVisitedNodes=3093486 nbRestartNogoods=227
405.57 => wckTime=404.694 cpuTime=403.25 mem=16M265
405.57
405.57 global
405.57 nbConstraintChecks=2854025528 nbPropagations=108390888 nbRevisions=1512501692 nbUselessRevisions=1213967005
405.57 nbRestartNogoods=227 solvingWckTime=404.695 solvingCpuTime=403.25 expiredTime=no totalExploration=no
405.57 nbFoundSolutions=1 globalCpuTime=403.71
405.57 => wckTime=405.253 cpuTime=403.65 mem=16M265
405.57
405.57 s SATISFIABLE
405.57 v 0 11 2 6 17 2 15 9 16 6 20 17 11 18 4 19 6 13 9 7 3 5 11 17 10 5 18 5 1 5 0 13 16 15 19 9 3 3 0 4 9 20 12 18 14
405.57 d NODES 1787259
405.57 d CHECKS 2854025528
405.57
405.57 totalWckTime=405.334 totalCpuTime=403.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-217163-1168244479 -o ROOT/results/node13/solver-217163-1168244479 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217163-1168244479/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.04 1.23 1.57 4/89 1524
/proc/meminfo: memFree=1698696/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=18540 CPUtime=0
/proc/1523/stat : 1523 (runsolver) R 1521 1523 1348 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 172843366 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1523/statm: 4635 279 244 17 0 2626 0
[startup+0.102711 s]
/proc/loadavg: 1.04 1.23 1.57 4/89 1524
/proc/meminfo: memFree=1698696/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=914988 CPUtime=0.09
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 2956 0 1 0 7 2 0 0 17 0 8 0 172843366 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155475432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228747 2702 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510765 s]
/proc/loadavg: 1.04 1.23 1.57 4/89 1524
/proc/meminfo: memFree=1698696/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915328 CPUtime=0.49
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 6907 0 1 0 44 5 0 0 18 0 8 0 172843366 937295872 6646 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228832 6646 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33187 s]
/proc/loadavg: 1.04 1.23 1.57 3/96 1531
/proc/meminfo: memFree=1673680/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=1.29
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8976 0 1 0 123 6 0 0 24 0 8 0 172843366 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815301 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8714 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.2
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 172843374 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.97109 s]
/proc/loadavg: 1.04 1.23 1.57 3/96 1531
/proc/meminfo: memFree=1673616/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=2.92
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8993 0 1 0 285 7 0 0 25 0 8 0 172843366 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8729 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 394 0 0 0 22 1 0 0 15 0 8 0 172843374 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.17752 s]
/proc/loadavg: 1.12 1.24 1.58 3/96 1531
/proc/meminfo: memFree=1673488/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=6.11
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8993 0 1 0 604 7 0 0 25 0 8 0 172843366 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8729 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 394 0 0 0 22 1 0 0 15 0 8 0 172843374 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8729 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915456
[startup+12.6474 s]
/proc/loadavg: 1.19 1.25 1.58 3/96 1531
/proc/meminfo: memFree=1673552/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=12.51
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8994 0 1 0 1244 7 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915456
[startup+25.5081 s]
/proc/loadavg: 1.37 1.29 1.58 3/96 1531
/proc/meminfo: memFree=1673616/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=25.26
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 2519 7 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915456
[startup+51.1195 s]
/proc/loadavg: 1.58 1.34 1.59 3/96 1531
/proc/meminfo: memFree=1673680/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=50.64
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 5057 7 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915456
[startup+102.33 s]
/proc/loadavg: 1.82 1.44 1.61 3/96 1531
/proc/meminfo: memFree=1673744/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=101.42
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 10134 8 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915456
[startup+162.406 s]
/proc/loadavg: 1.89 1.53 1.63 3/101 1605
/proc/meminfo: memFree=1665568/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=161.3
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 16121 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.3
Current children cumulated vsize (KiB) 915456
[startup+222.411 s]
/proc/loadavg: 1.96 1.61 1.65 3/101 1605
/proc/meminfo: memFree=1665576/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=221.21
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 22112 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 915456
[startup+282.416 s]
/proc/loadavg: 1.98 1.68 1.67 3/101 1605
/proc/meminfo: memFree=1665576/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=281.16
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 28107 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.16
Current children cumulated vsize (KiB) 915456
[startup+342.423 s]
/proc/loadavg: 1.99 1.73 1.68 3/101 1605
/proc/meminfo: memFree=1665512/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=341.11
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 34102 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.11
Current children cumulated vsize (KiB) 915456
[startup+402.43 s]
/proc/loadavg: 1.99 1.78 1.70 3/101 1605
/proc/meminfo: memFree=1665512/2055920 swapFree=4192812/4192956
[pid=1523] ppid=1521 vsize=915456 CPUtime=401.04
/proc/1523/stat : 1523 (java) R 1521 1523 1348 0 -1 0 8995 0 1 0 40095 9 0 0 25 0 8 0 172843366 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1523/statm: 228864 8730 2524 14 0 215334 0
[pid=1523/tid=1525] ppid=1521 vsize=915456 CPUtime=0.03
/proc/1523/task/1525/stat : 1525 (java) S 1521 1523 1348 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1526] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1526/stat : 1526 (java) S 1521 1523 1348 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1527] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1527/stat : 1527 (java) S 1521 1523 1348 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172843371 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1528] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1528/stat : 1528 (java) S 1521 1523 1348 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1529] ppid=1521 vsize=915456 CPUtime=0.23
/proc/1523/task/1529/stat : 1529 (java) S 1521 1523 1348 0 -1 64 395 0 0 0 22 1 0 0 16 0 8 0 172843374 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1523/tid=1530] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1530/stat : 1530 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1523/tid=1531] ppid=1521 vsize=915456 CPUtime=0
/proc/1523/task/1531/stat : 1531 (java) S 1521 1523 1348 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172843375 937426944 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.04
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 405.608
CPU time (s): 404.202
CPU user time (s): 404.097
CPU system time (s): 0.104984
CPU usage (%): 99.6534
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 404.097
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9005
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= 9338
involuntary context switches= 13743
runsolver used 0.487925 s user time and 1.3218 s system time
The end
Begin job on node13 on Mon Jan 8 08:21:21 UTC 2007
IDJOB= 217163
IDBENCH= 5121
FILE ID= node13/217163-1168244479
PBS_JOBID= 3481602
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217163-1168244479/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-217163-1168244479 -o ROOT/results/node13/solver-217163-1168244479 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217163-1168244479/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 34ea40322126207947ea4c2401eade98
RANDOM SEED= 188049935
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.247
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.247
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: 1699176 kB
Buffers: 66952 kB
Cached: 177848 kB
SwapCached: 0 kB
Active: 165800 kB
Inactive: 131920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1699176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2032 kB
Writeback: 0 kB
Mapped: 73192 kB
Slab: 43580 kB
Committed_AS: 4636608 kB
PageTables: 2368 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= 66327 MiB
End job on node13 on Mon Jan 8 08:28:09 UTC 2007