0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/196234-1168120841/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.99
0.99 constraints being loaded...
1.23 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.23 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
1.24 => wckTime=0.939 cpuTime=0.83 mem=47M691
1.35
1.35 solver IterativeSystematicSolver being built...
1.51 => wckTime=1.213 cpuTime=0.96 mem=34M239
1.61
1.61 preprocessing
1.61 nbConstraintChecks=34616 nbValidityChecks=57925 nbPropagations=235 nbRevisions=2425 nbUselessRevisions=2088
1.62 nbSingletonTests=34 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.62 => wckTime=0.103 cpuTime=0.08 mem=34M239
1.67
1.67 search
1.67 run=0 nbConstraintChecks=23483 nbValidityChecks=45264 nbPropagations=494 nbRevisions=5212
1.67 nbUselessRevisions=4275 nbAssignments=25 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=40
1.67 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.155 cpuTime=0.13 mem=35M242
1.73
1.73 search
1.73 run=1 nbConstraintChecks=59493 nbValidityChecks=115781 nbPropagations=1362 nbRevisions=14879
1.73 nbUselessRevisions=12177 nbAssignments=61 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=98
1.73 nbRestartNogoods=3 mapSize=18 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.215 cpuTime=0.19 mem=35M242
1.82
1.82 search
1.82 run=2 nbConstraintChecks=110963 nbValidityChecks=222351 nbPropagations=2856 nbRevisions=31255
1.82 nbUselessRevisions=25476 nbAssignments=120 nbFailedAssignments=41 nbBacktracks=49 nbVisitedNodes=179
1.82 nbRestartNogoods=9 mapSize=37 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.31 cpuTime=0.27 mem=35M242
1.97
1.97 search
1.97 run=3 nbConstraintChecks=219301 nbValidityChecks=419661 nbPropagations=5201 nbRevisions=58766
1.97 nbUselessRevisions=47607 nbAssignments=192 nbFailedAssignments=74 nbBacktracks=83 nbVisitedNodes=309
1.97 nbRestartNogoods=13 mapSize=66 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.462 cpuTime=0.42 mem=35M242
2.20
2.20 search
2.20 run=4 nbConstraintChecks=382492 nbValidityChecks=754387 nbPropagations=9417 nbRevisions=110298
2.20 nbUselessRevisions=88566 nbAssignments=353 nbFailedAssignments=180 nbBacktracks=134 nbVisitedNodes=616
2.20 nbRestartNogoods=20 mapSize=114 nbInferences=0 nbTooLargeKeys=0
2.20 => wckTime=0.692 cpuTime=0.65 mem=35M242
2.45
2.45 search
2.45 run=5 nbConstraintChecks=556304 nbValidityChecks=1089217 nbPropagations=15646 nbRevisions=184541
2.45 nbUselessRevisions=147363 nbAssignments=539 nbFailedAssignments=286 nbBacktracks=210 nbVisitedNodes=956
2.45 nbRestartNogoods=21 mapSize=178 nbInferences=0 nbTooLargeKeys=0
2.45 => wckTime=0.936 cpuTime=0.88 mem=35M242
2.80
2.80 search
2.80 run=6 nbConstraintChecks=810659 nbValidityChecks=1574787 nbPropagations=24489 nbRevisions=289167
2.80 nbUselessRevisions=230069 nbAssignments=765 nbFailedAssignments=393 nbBacktracks=325 nbVisitedNodes=1352
2.80 nbRestartNogoods=23 mapSize=265 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.289 cpuTime=1.23 mem=35M242
3.48
3.48 search
3.48 run=7 nbConstraintChecks=1300066 nbValidityChecks=2541758 nbPropagations=38792 nbRevisions=461746
3.48 nbUselessRevisions=366129 nbAssignments=1178 nbFailedAssignments=629 nbBacktracks=495 nbVisitedNodes=2130
3.49 nbRestartNogoods=30 mapSize=422 nbInferences=0 nbTooLargeKeys=0
3.49 => wckTime=1.973 cpuTime=1.91 mem=35M242
4.24
4.24 search
4.24 run=8 nbConstraintChecks=1859494 nbValidityChecks=3643019 nbPropagations=59284 nbRevisions=706588
4.24 nbUselessRevisions=559276 nbAssignments=1805 nbFailedAssignments=986 nbBacktracks=752 nbVisitedNodes=3247
4.24 nbRestartNogoods=36 mapSize=618 nbInferences=0 nbTooLargeKeys=0
4.24 => wckTime=2.732 cpuTime=2.65 mem=35M242
5.53
5.53 search
5.53 run=9 nbConstraintChecks=2853543 nbValidityChecks=5545387 nbPropagations=88492 nbRevisions=1060989
5.53 nbUselessRevisions=840835 nbAssignments=2656 nbFailedAssignments=1446 nbBacktracks=1137 nbVisitedNodes=4779
5.53 nbRestartNogoods=42 mapSize=928 nbInferences=0 nbTooLargeKeys=0
5.53 => wckTime=4.02 cpuTime=3.93 mem=35M242
5.85
5.85 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=35M242)
7.16
7.16 search
7.16 run=10 nbConstraintChecks=4071042 nbValidityChecks=7999587 nbPropagations=132024 nbRevisions=1583236
7.16 nbUselessRevisions=1255082 nbAssignments=3942 nbFailedAssignments=2150 nbBacktracks=1715 nbVisitedNodes=7095
7.16 nbRestartNogoods=52
7.16 => wckTime=5.649 cpuTime=5.55 mem=35M242
9.48
9.48 search
9.48 run=11 nbConstraintChecks=5877000 nbValidityChecks=11587020 nbPropagations=195904 nbRevisions=2347662
9.48 nbUselessRevisions=1861614 nbAssignments=5900 nbFailedAssignments=3228 nbBacktracks=2583 nbVisitedNodes=10609
9.48 nbRestartNogoods=59
9.48 => wckTime=7.973 cpuTime=7.87 mem=35M242
13.91
13.91 search
13.91 run=12 nbConstraintChecks=9330698 nbValidityChecks=18188944 nbPropagations=291817 nbRevisions=3516385
13.91 nbUselessRevisions=2791211 nbAssignments=8732 nbFailedAssignments=4757 nbBacktracks=3881 nbVisitedNodes=15771
13.91 nbRestartNogoods=73
13.92 => wckTime=12.403 cpuTime=12.3 mem=35M242
19.39
19.39 search
19.39 run=13 nbConstraintChecks=13508560 nbValidityChecks=26590991 nbPropagations=436939 nbRevisions=5264759
19.39 nbUselessRevisions=4179268 nbAssignments=13277 nbFailedAssignments=7351 nbBacktracks=5829 nbVisitedNodes=24048
19.39 nbRestartNogoods=80
19.39 => wckTime=17.882 cpuTime=17.77 mem=35M242
28.83
28.83 search
28.83 run=14 nbConstraintChecks=20633706 nbValidityChecks=40497012 nbPropagations=653498 nbRevisions=7884034
28.83 nbUselessRevisions=6259579 nbAssignments=19502 nbFailedAssignments=10651 nbBacktracks=8748 nbVisitedNodes=35269
28.83 nbRestartNogoods=86
28.83 => wckTime=27.319 cpuTime=27.17 mem=35M242
40.89
40.89 search
40.89 run=15 nbConstraintChecks=29728626 nbValidityChecks=58696306 nbPropagations=975649 nbRevisions=11754127
40.89 nbUselessRevisions=9329678 nbAssignments=29000 nbFailedAssignments=15765 nbBacktracks=13129
40.89 nbVisitedNodes=52368 nbRestartNogoods=105
40.89 => wckTime=39.375 cpuTime=39.19 mem=35M242
62.80
62.80 search
62.80 run=16 nbConstraintChecks=46345122 nbValidityChecks=91047156 nbPropagations=1465143 nbRevisions=17641676
62.80 nbUselessRevisions=13991673 nbAssignments=43212 nbFailedAssignments=23405 nbBacktracks=19698
62.80 nbVisitedNodes=78141 nbRestartNogoods=119
62.80 => wckTime=61.287 cpuTime=61.07 mem=35M242
90.61
90.61 search
90.61 run=17 nbConstraintChecks=67443028 nbValidityChecks=133294526 nbPropagations=2192421 nbRevisions=26366590
90.61 nbUselessRevisions=20907048 nbAssignments=64902 nbFailedAssignments=35237 nbBacktracks=29550
90.61 nbVisitedNodes=117165 nbRestartNogoods=128
90.61 => wckTime=89.1 cpuTime=88.84 mem=35M242
140.96
140.96 search
140.96 run=18 nbConstraintChecks=105874842 nbValidityChecks=207847877 nbPropagations=3284309 nbRevisions=39613741
140.96 nbUselessRevisions=31425002 nbAssignments=96574 nbFailedAssignments=52099 nbBacktracks=44328
140.96 nbVisitedNodes=174424 nbRestartNogoods=146
140.96 => wckTime=139.446 cpuTime=139.12 mem=35M242
202.14
202.15 search
202.15 run=19 nbConstraintChecks=152597491 nbValidityChecks=301888759 nbPropagations=4928501 nbRevisions=59323558
202.15 nbUselessRevisions=47049081 nbAssignments=146298 nbFailedAssignments=79630 nbBacktracks=66498
202.15 nbVisitedNodes=264671 nbRestartNogoods=164
202.15 => wckTime=200.634 cpuTime=200.25 mem=35M242
318.03
318.03 search
318.03 run=20 nbConstraintChecks=241837583 nbValidityChecks=474023883 nbPropagations=7396433 nbRevisions=89335484
318.03 nbUselessRevisions=70898408 nbAssignments=218917 nbFailedAssignments=118991 nbBacktracks=99750
318.03 nbVisitedNodes=396301 nbRestartNogoods=189
318.03 => wckTime=316.518 cpuTime=316.0 mem=35M242
458.72
458.72 search
458.72 run=21 nbConstraintChecks=349168477 nbValidityChecks=689552607 nbPropagations=11117951 nbRevisions=134035515
458.72 nbUselessRevisions=106365479 nbAssignments=331389 nbFailedAssignments=181573 nbBacktracks=149628
458.72 nbVisitedNodes=600606 nbRestartNogoods=197
458.72 => wckTime=457.209 cpuTime=456.56 mem=35M242
681.50
681.50 search
681.50 run=22 nbConstraintChecks=520132965 nbValidityChecks=1025560568 nbPropagations=16639911 nbRevisions=200279095
681.50 nbUselessRevisions=158920629 nbAssignments=490458 nbFailedAssignments=267090 nbBacktracks=223138
681.50 nbVisitedNodes=888446 nbRestartNogoods=217
681.50 => wckTime=679.989 cpuTime=679.09 mem=35M242
681.50
681.50 global
681.50 nbConstraintChecks=520167581 nbValidityChecks=1025618493 nbPropagations=16640146 nbRevisions=200281520
681.50 nbUselessRevisions=158922717 nbRestartNogoods=217 solvingWckTime=679.99 solvingCpuTime=679.09 expiredTime=no
681.50 totalExploration=no nbFoundSolutions=1 globalCpuTime=680.09
681.50 => wckTime=681.206 cpuTime=680.05 mem=35M242
681.58
681.58 s SATISFIABLE
681.58 v 2 22 19 13 16 21 11 20 10 13 3 13 15 3 16 16 9 22 19 18 10 18 3 3
681.58 d NODES 490458
681.58 d CHECKS 520167581
681.58
681.58 totalWckTime=681.358 totalCpuTime=680.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-196234-1168120841 -o ROOT/results/node5/solver-196234-1168120841 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196234-1168120841/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.90 1.98 1.99 4/94 22904
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=172 CPUtime=0
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 140698518 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 0 0 0
/proc/22903/statm: 43 24 18 14 0 3 0
[startup+0.107929 s]
/proc/loadavg: 1.90 1.98 1.99 4/94 22904
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=914988 CPUtime=0.08
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 3073 0 1 0 7 1 0 0 24 0 8 0 140698518 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152096428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228747 2819 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516979 s]
/proc/loadavg: 1.90 1.98 1.99 4/94 22904
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915328 CPUtime=0.49
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 8204 0 1 0 45 4 0 0 25 0 8 0 140698518 937295872 7943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228832 7945 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34607 s]
/proc/loadavg: 1.90 1.98 1.99 3/101 22911
/proc/meminfo: memFree=1202864/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=1.32
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 22915 0 1 0 121 11 0 0 25 0 8 0 140698518 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155255260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 22652 2169 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 17 0 8 0 140698522 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.09
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 140698526 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915416
[startup+2.98426 s]
/proc/loadavg: 1.90 1.98 1.99 3/101 22911
/proc/meminfo: memFree=1187056/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=2.96
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23410 0 1 0 283 13 0 0 25 0 8 0 140698518 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073625358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23146 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 17 0 8 0 140698522 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.19
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 140698526 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915416
[startup+6.26363 s]
/proc/loadavg: 1.90 1.98 1.99 3/101 22911
/proc/meminfo: memFree=1186864/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=6.24
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23426 0 1 0 611 13 0 0 25 0 8 0 140698518 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23159 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 17 0 8 0 140698522 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.22
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 140698526 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915416
[startup+12.7554 s]
/proc/loadavg: 1.91 1.98 1.99 3/101 22911
/proc/meminfo: memFree=1186928/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=12.73
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23430 0 1 0 1260 13 0 0 25 0 8 0 140698518 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23162 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915416
[startup+25.6188 s]
/proc/loadavg: 1.93 1.98 1.99 3/107 22975
/proc/meminfo: memFree=1185856/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=25.56
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23430 0 1 0 2538 18 0 0 25 0 8 0 140698518 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23162 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915416
[startup+51.2517 s]
/proc/loadavg: 2.03 1.99 1.99 3/107 23029
/proc/meminfo: memFree=1185984/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=51.13
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 5090 23 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915416
[startup+102.505 s]
/proc/loadavg: 2.01 1.99 1.99 3/107 23081
/proc/meminfo: memFree=1185984/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=102.31
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 10201 30 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915416
[startup+162.594 s]
/proc/loadavg: 2.07 2.01 2.00 3/101 23109
/proc/meminfo: memFree=1186992/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=162.34
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 16202 32 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918495 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 915416
[startup+282.776 s]
/proc/loadavg: 1.98 1.99 1.99 3/101 23180
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=282.38
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 28202 36 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756779 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (KiB) 915416
[startup+342.857 s]
/proc/loadavg: 2.06 2.00 2.00 3/101 23180
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=342.41
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 34205 36 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.41
Current children cumulated vsize (KiB) 915416
[startup+402.943 s]
/proc/loadavg: 2.02 2.00 2.00 3/101 23180
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=402.41
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 40205 36 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 915416
[startup+462.959 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 23180
/proc/meminfo: memFree=1183216/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=462.39
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 46202 37 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.39
Current children cumulated vsize (KiB) 915416
[startup+522.972 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 23180
/proc/meminfo: memFree=1183216/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=522.34
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 52197 37 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 915416
[startup+582.995 s]
/proc/loadavg: 2.00 2.00 2.00 4/101 23180
/proc/meminfo: memFree=1183216/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=582.28
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 58191 37 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 915416
[startup+643.013 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 23180
/proc/meminfo: memFree=1183344/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=642.25
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 64188 37 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 681.612
CPU time (s): 680.721
CPU user time (s): 680.327
CPU system time (s): 0.39394
CPU usage (%): 99.8693
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 680.327
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23439
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= 14965
involuntary context switches= 30183
runsolver used 0.825874 s user time and 2.20566 s system time
The end
Begin job on node5 on Sat Jan 6 22:00:41 UTC 2007
IDJOB= 196234
IDBENCH= 3336
FILE ID= node5/196234-1168120841
PBS_JOBID= 3477142
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196234-1168120841/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-196234-1168120841 -o ROOT/results/node5/solver-196234-1168120841 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196234-1168120841/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 00f785a45aa82671ed3db507767e40df
RANDOM SEED= 531751863
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.240
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.240
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: 1270408 kB
Buffers: 60540 kB
Cached: 553772 kB
SwapCached: 0 kB
Active: 204212 kB
Inactive: 493172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1270408 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4568 kB
Writeback: 0 kB
Mapped: 109668 kB
Slab: 72900 kB
Committed_AS: 3450876 kB
PageTables: 2316 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= 66328 MiB
End job on node5 on Sat Jan 6 22:12:02 UTC 2007