0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/237836-1168351470/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.53 nbVariables=1024 nbDomainTypes=1 minDomainSize=32 maxDomainSize=32
0.53 => wckTime=0.205 cpuTime=0.16 mem=8M838
0.53
0.53 predicates being loaded...
0.54
0.54 constraints being loaded...
2.54 nbConstraints=15903 nbConvertedConstraints=15903 nbConvertConstraintsChecks=4096 nbExtensionStructures=4
2.54 nbSharedExtensionStructures=15899 nbConflictsStructures=4 nbSharedConflictsStructures=15899
2.54 nbSharedBinaryRepresentations=191 maxDegree=32 maxArity=2
2.54 => wckTime=2.209 cpuTime=1.96 mem=51M997
2.70
2.70 solver IterativeSystematicSolver being built...
2.96 => wckTime=2.63 cpuTime=2.15 mem=28M196
3.61
3.61 preprocessing
3.61 nbConstraintChecks=492451 nbPropagations=23158 nbRevisions=23604 nbUselessRevisions=2363 nbSingletonTests=1229
3.61 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
3.61 => wckTime=0.644 cpuTime=0.61 mem=28M196
3.76
3.76 search
3.76 run=0 nbConstraintChecks=66635 nbPropagations=25802 nbRevisions=26266 nbUselessRevisions=2436
3.76 nbAssignments=109 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=128 nbRestartNogoods=0 mapSize=10
3.76 nbInferences=0 nbTooLargeKeys=0
3.76 => wckTime=0.8 cpuTime=0.75 mem=28M196
3.85
3.85 search
3.85 run=1 nbConstraintChecks=131018 nbPropagations=54225 nbRevisions=55161 nbUselessRevisions=4930
3.85 nbAssignments=225 nbFailedAssignments=21 nbBacktracks=27 nbVisitedNodes=269 nbRestartNogoods=3 mapSize=26
3.85 nbInferences=1 nbTooLargeKeys=0
3.85 => wckTime=0.884 cpuTime=0.83 mem=29M184
3.93
3.93 search
3.93 run=2 nbConstraintChecks=194801 nbPropagations=85323 nbRevisions=86776 nbUselessRevisions=7503
3.93 nbAssignments=355 nbFailedAssignments=41 nbBacktracks=49 nbVisitedNodes=439 nbRestartNogoods=4 mapSize=48
3.93 nbInferences=1 nbTooLargeKeys=0
3.93 => wckTime=0.972 cpuTime=0.92 mem=29M184
4.03
4.03 search
4.03 run=3 nbConstraintChecks=258846 nbPropagations=119177 nbRevisions=121195 nbUselessRevisions=10160
4.03 nbAssignments=504 nbFailedAssignments=68 nbBacktracks=82 nbVisitedNodes=643 nbRestartNogoods=9 mapSize=81
4.03 nbInferences=2 nbTooLargeKeys=0
4.03 => wckTime=1.066 cpuTime=1.01 mem=30M172
4.13
4.13 search
4.13 run=4 nbConstraintChecks=323368 nbPropagations=155923 nbRevisions=158546 nbUselessRevisions=12899
4.13 nbAssignments=683 nbFailedAssignments=105 nbBacktracks=133 nbVisitedNodes=901 nbRestartNogoods=13 mapSize=132
4.13 nbInferences=7 nbTooLargeKeys=0
4.13 => wckTime=1.166 cpuTime=1.1 mem=31M160
4.25
4.25 search
4.25 run=5 nbConstraintChecks=388593 nbPropagations=195790 nbRevisions=199036 nbUselessRevisions=15722
4.25 nbAssignments=910 nbFailedAssignments=154 nbBacktracks=208 nbVisitedNodes=1243 nbRestartNogoods=17 mapSize=207
4.25 nbInferences=24 nbTooLargeKeys=0
4.25 => wckTime=1.291 cpuTime=1.22 mem=31M160
4.40
4.40 search
4.40 run=6 nbConstraintChecks=454662 nbPropagations=239098 nbRevisions=242976 nbUselessRevisions=18631
4.40 nbAssignments=1208 nbFailedAssignments=229 nbBacktracks=322 nbVisitedNodes=1713 nbRestartNogoods=19
4.40 mapSize=321 nbInferences=46 nbTooLargeKeys=0
4.40 => wckTime=1.437 cpuTime=1.37 mem=32M147
4.61
4.61 search
4.61 run=7 nbConstraintChecks=522075 nbPropagations=286347 nbRevisions=290826 nbUselessRevisions=21627
4.61 nbAssignments=1615 nbFailedAssignments=336 nbBacktracks=492 nbVisitedNodes=2376 nbRestartNogoods=25
4.61 mapSize=491 nbInferences=88 nbTooLargeKeys=0
4.61 => wckTime=1.646 cpuTime=1.56 mem=34M123
4.86
4.86 search
4.86 run=8 nbConstraintChecks=591594 nbPropagations=338320 nbRevisions=343293 nbUselessRevisions=24715
4.86 nbAssignments=2192 nbFailedAssignments=487 nbBacktracks=748 nbVisitedNodes=3338 nbRestartNogoods=33
4.86 mapSize=747 nbInferences=171 nbTooLargeKeys=0
4.86 => wckTime=1.902 cpuTime=1.81 mem=36M98
5.23
5.23 search
5.23 run=9 nbConstraintChecks=664533 nbPropagations=396298 nbRevisions=401511 nbUselessRevisions=27895
5.23 nbAssignments=3038 nbFailedAssignments=705 nbBacktracks=1132 nbVisitedNodes=4776 nbRestartNogoods=40
5.23 mapSize=1131 nbInferences=327 nbTooLargeKeys=0
5.23 => wckTime=2.266 cpuTime=2.17 mem=39M61
5.76
5.76 search
5.76 run=10 nbConstraintChecks=742688 nbPropagations=462282 nbRevisions=467198 nbUselessRevisions=31171
5.76 nbAssignments=4311 nbFailedAssignments=1015 nbBacktracks=1709 nbVisitedNodes=6970 nbRestartNogoods=45
5.77 mapSize=1708 nbInferences=628 nbTooLargeKeys=0
5.77 => wckTime=2.803 cpuTime=2.69 mem=44M988
6.33
6.33 search
6.33 run=11 nbConstraintChecks=836042 nbPropagations=538316 nbRevisions=543017 nbUselessRevisions=34902
6.33 nbAssignments=5991 nbFailedAssignments=1543 nbBacktracks=2573 nbVisitedNodes=9965 nbRestartNogoods=48
6.33 mapSize=2535 nbInferences=887 nbTooLargeKeys=0
6.33 => wckTime=3.366 cpuTime=3.25 mem=46M963
7.28
7.28 search
7.28 run=12 nbConstraintChecks=976384 nbPropagations=632441 nbRevisions=635500 nbUselessRevisions=39125
7.28 nbAssignments=9010 nbFailedAssignments=2189 nbBacktracks=3870 nbVisitedNodes=15208 nbRestartNogoods=58
7.28 mapSize=3795 nbInferences=1877 nbTooLargeKeys=0
7.28 => wckTime=4.322 cpuTime=4.2 mem=49M927
8.99
8.99 search
8.99 run=13 nbConstraintChecks=1192706 nbPropagations=753226 nbRevisions=752515 nbUselessRevisions=44151
8.99 nbAssignments=13504 nbFailedAssignments=3100 nbBacktracks=5816 nbVisitedNodes=23043 nbRestartNogoods=63
8.99 mapSize=5706 nbInferences=3397 nbTooLargeKeys=0
8.99 => wckTime=6.029 cpuTime=5.85 mem=34M818
12.25
12.25 search
12.25 run=14 nbConstraintChecks=1476843 nbPropagations=919861 nbRevisions=908686 nbUselessRevisions=49898
12.25 nbAssignments=21354 nbFailedAssignments=4165 nbBacktracks=8735 nbVisitedNodes=36658 nbRestartNogoods=70
12.25 mapSize=8595 nbInferences=7091 nbTooLargeKeys=0
12.25 => wckTime=9.284 cpuTime=9.09 mem=69M873
17.92
17.92 search
17.93 run=15 nbConstraintChecks=1844410 nbPropagations=1161550 nbRevisions=1126789 nbUselessRevisions=56691
17.93 nbAssignments=34313 nbFailedAssignments=5509 nbBacktracks=13113 nbVisitedNodes=59427 nbRestartNogoods=75
17.93 mapSize=12943 nbInferences=14213 nbTooLargeKeys=0
17.93 => wckTime=14.963 cpuTime=14.63 mem=72M218
26.57
26.57 search
26.57 run=16 nbConstraintChecks=2601911 nbPropagations=1523911 nbRevisions=1445047 nbUselessRevisions=64955
26.57 nbAssignments=54260 nbFailedAssignments=7397 nbBacktracks=19681 nbVisitedNodes=93612 nbRestartNogoods=91
26.57 mapSize=19481 nbInferences=25132 nbTooLargeKeys=0
26.57 => wckTime=23.609 cpuTime=23.14 mem=105M986
37.77
37.77 search
37.77 run=17 nbConstraintChecks=3279292 nbPropagations=2037980 nbRevisions=1889523 nbUselessRevisions=74998
37.77 nbAssignments=81460 nbFailedAssignments=10890 nbBacktracks=29534 nbVisitedNodes=141507 nbRestartNogoods=110
37.77 mapSize=29265 nbInferences=38842 nbTooLargeKeys=0
37.77 => wckTime=34.809 cpuTime=34.17 mem=167M78
58.27
58.27 search
58.27 run=18 nbConstraintChecks=4783200 nbPropagations=2839578 nbRevisions=2569648 nbUselessRevisions=90395
58.27 nbAssignments=129410 nbFailedAssignments=14598 nbBacktracks=44312 nbVisitedNodes=225083 nbRestartNogoods=126
58.27 mapSize=43938 nbInferences=67607 nbTooLargeKeys=0
58.27 => wckTime=55.312 cpuTime=54.34 mem=231M39
94.14
94.14 search
94.14 run=19 nbConstraintChecks=6920816 nbPropagations=4143444 nbRevisions=3650835 nbUselessRevisions=113916
94.14 nbAssignments=211173 nbFailedAssignments=18587 nbBacktracks=66482 nbVisitedNodes=369742 nbRestartNogoods=145
94.14 mapSize=66071 nbInferences=122797 nbTooLargeKeys=0
94.14 => wckTime=91.181 cpuTime=89.7 mem=364M731
151.76
151.76 search
151.76 run=20 nbConstraintChecks=11205295 nbPropagations=6331354 nbRevisions=5436229 nbUselessRevisions=147304
151.76 nbAssignments=345582 nbFailedAssignments=23625 nbBacktracks=99735 nbVisitedNodes=608178 nbRestartNogoods=164
151.76 mapSize=99211 nbInferences=217746 nbTooLargeKeys=0
151.76 => wckTime=148.803 cpuTime=146.53 mem=546M336
168.87
168.87 INFO : Stopping hyperNogood (mapSize=111661, nbTooLargekeys=0, mem=600M628)
181.55
181.55 search
181.55 run=21 nbConstraintChecks=13334733 nbPropagations=9052070 nbRevisions=7716963 nbUselessRevisions=189962
181.55 nbAssignments=449624 nbFailedAssignments=52254 nbBacktracks=149613 nbVisitedNodes=793487 nbRestartNogoods=178
181.55 => wckTime=178.587 cpuTime=175.98 mem=600M628
207.08
207.08 search
207.08 run=22 nbConstraintChecks=15262024 nbPropagations=12356223 nbRevisions=10583434 nbUselessRevisions=235270
207.08 nbAssignments=576683 nbFailedAssignments=103950 nbBacktracks=224432 nbVisitedNodes=1023567 nbRestartNogoods=203
207.08 => wckTime=204.117 cpuTime=201.42 mem=600M628
244.16
244.16 search
244.16 run=23 nbConstraintChecks=17896001 nbPropagations=16525313 nbRevisions=14318144 nbUselessRevisions=284048
244.16 nbAssignments=766975 nbFailedAssignments=181623 nbBacktracks=336659 nbVisitedNodes=1369020 nbRestartNogoods=225
244.16 => wckTime=241.201 cpuTime=238.36 mem=600M628
300.20
300.20 search
300.20 run=24 nbConstraintChecks=21723782 nbPropagations=21988731 nbRevisions=19350274 nbUselessRevisions=336247
300.20 nbAssignments=1052352 nbFailedAssignments=298051 nbBacktracks=505002 nbVisitedNodes=1886844
300.20 nbRestartNogoods=247
300.20 => wckTime=297.236 cpuTime=294.18 mem=600M628
383.17
383.17 search
383.17 run=25 nbConstraintChecks=27134471 nbPropagations=29376709 nbRevisions=26309407 nbUselessRevisions=391705
383.17 nbAssignments=1478893 nbFailedAssignments=471084 nbBacktracks=757516 nbVisitedNodes=2658654
383.17 nbRestartNogoods=274
383.17 => wckTime=380.206 cpuTime=376.85 mem=600M628
591.25
591.25 search
591.25 run=26 nbConstraintChecks=495827827 nbPropagations=45380597 nbRevisions=54342192 nbUselessRevisions=1639638
591.25 nbAssignments=2111484 nbFailedAssignments=724177 nbBacktracks=1136283 nbVisitedNodes=3765756
591.25 nbRestartNogoods=303
591.25 => wckTime=588.286 cpuTime=584.09 mem=600M628
805.44
805.44 search
805.44 run=27 nbConstraintChecks=508796087 nbPropagations=65763120 nbRevisions=86756180 nbUselessRevisions=2890178
805.44 nbAssignments=3074668 nbFailedAssignments=1119165 nbBacktracks=1704434 nbVisitedNodes=5518916
805.44 nbRestartNogoods=320
805.44 => wckTime=802.479 cpuTime=797.48 mem=600M628
1113.84
1113.84 search
1113.84 run=28 nbConstraintChecks=525075201 nbPropagations=92599961 nbRevisions=125627285 nbUselessRevisions=4142745
1113.84 nbAssignments=4519765 nbFailedAssignments=1711964 nbBacktracks=2556660 nbVisitedNodes=8149611
1113.84 nbRestartNogoods=336
1113.84 => wckTime=1110.88 cpuTime=1104.62 mem=600M628
1551.01
1551.01 search
1551.01 run=29 nbConstraintChecks=550832300 nbPropagations=129157802 nbRevisions=174221666 nbUselessRevisions=5397635
1551.01 nbAssignments=6686953 nbFailedAssignments=2600747 nbBacktracks=3835000 nbVisitedNodes=12094365
1551.01 nbRestartNogoods=365
1551.01 => wckTime=1548.05 cpuTime=1539.83 mem=600M628
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-237836-1168351470 -o ROOT/results/node34/solver-237836-1168351470 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237836-1168351470/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 1.89 1.77 3/74 8848
/proc/meminfo: memFree=1435712/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=18540 CPUtime=0
/proc/8847/stat : 8847 (runsolver) R 8845 8847 8424 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183540798 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 254195330343 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8847/statm: 4635 279 244 17 0 2626 0
[startup+0.103314 s]
/proc/loadavg: 2.00 1.89 1.77 3/74 8848
/proc/meminfo: memFree=1435712/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=913068 CPUtime=0.08
/proc/8847/stat : 8847 (java) S 8845 8847 8424 0 -1 0 2873 0 1 0 7 1 0 0 18 0 8 0 183540798 934981632 2619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.515346 s]
/proc/loadavg: 2.00 1.89 1.77 3/74 8848
/proc/meminfo: memFree=1435712/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915328 CPUtime=0.49
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 6468 0 1 0 45 4 0 0 18 0 8 0 183540798 937295872 6207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228832 6207 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34441 s]
/proc/loadavg: 2.00 1.89 1.77 3/81 8855
/proc/meminfo: memFree=1373448/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915628 CPUtime=1.3
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 17903 0 1 0 117 13 0 0 24 0 8 0 183540798 937603072 17641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228907 17641 2180 14 0 215377 0
[pid=8847/tid=8849] ppid=8845 vsize=915628 CPUtime=0.05
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 1297 0 0 0 5 0 0 0 17 0 8 0 183540802 937603072 17641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915628 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937603072 17641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915628 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937603072 17641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915628 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937603072 17641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915628 CPUtime=0.17
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 416 0 0 0 17 0 0 0 16 0 8 0 183540806 937603072 17641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915628 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937603072 17641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915628 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937603072 17641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628
[startup+2.98455 s]
/proc/loadavg: 2.00 1.89 1.77 3/81 8855
/proc/meminfo: memFree=1372808/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=2.94
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 20713 0 1 0 215 79 0 0 25 0 8 0 183540798 937836544 20439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074045251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228964 20439 2543 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=0.2
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 3595 0 0 0 19 1 0 0 17 0 8 0 183540802 937836544 20439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 20439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 20439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 20439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.28
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 477 0 0 0 27 1 0 0 16 0 8 0 183540806 937836544 20439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 20439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 20439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915856
[startup+6.26381 s]
/proc/loadavg: 2.00 1.89 1.77 3/81 8855
/proc/meminfo: memFree=1361296/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=6.18
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 20758 0 1 0 539 79 0 0 25 0 8 0 183540798 937836544 20481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228964 20481 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=0.2
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 3595 0 0 0 19 1 0 0 17 0 8 0 183540802 937836544 20481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 20481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 20481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 20481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.35
/proc/8847/task/8853/stat : 8853 (java) R 8845 8847 8424 0 -1 64 514 0 0 0 34 1 0 0 16 0 8 0 183540806 937836544 20481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153960303 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 20481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 20481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915856
[startup+12.7551 s]
/proc/loadavg: 2.00 1.89 1.77 3/81 8855
/proc/meminfo: memFree=1338832/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=12.64
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 25802 0 1 0 1182 82 0 0 25 0 8 0 183540798 937836544 25522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074056389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228964 25522 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=0.26
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 8635 0 0 0 22 4 0 0 16 0 8 0 183540802 937836544 25522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 25522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 25522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 25522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.35
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 515 0 0 0 34 1 0 0 16 0 8 0 183540806 937836544 25522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 25522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 25522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915856
[startup+25.6012 s]
/proc/loadavg: 2.00 1.90 1.77 3/81 8855
/proc/meminfo: memFree=1278928/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=25.43
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 39892 0 1 0 2454 89 0 0 25 0 8 0 183540798 937836544 39608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074116073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228964 39608 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=0.41
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 22720 0 0 0 31 10 0 0 16 0 8 0 183540802 937836544 39608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 39608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 39608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 39608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.36
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 516 0 0 0 35 1 0 0 16 0 8 0 183540806 937836544 39608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 39608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 39608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915856
[startup+51.2193 s]
/proc/loadavg: 2.00 1.91 1.78 3/81 8855
/proc/meminfo: memFree=1169680/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=50.93
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 66434 0 1 0 4992 101 0 0 25 0 8 0 183540798 937836544 66143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074045251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228964 66143 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=0.72
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 49254 0 0 0 49 23 0 0 16 0 8 0 183540802 937836544 66143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 66143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 66143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 66143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.36
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 517 0 0 0 35 1 0 0 16 0 8 0 183540806 937836544 66143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 66143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 66143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915856
[startup+102.451 s]
/proc/loadavg: 2.00 1.92 1.79 3/81 8855
/proc/meminfo: memFree=984528/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=101.92
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 110333 0 1 0 10070 122 0 0 25 0 8 0 183540798 937836544 110030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074116113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8847/statm: 228964 110030 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=1.26
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 93140 0 0 0 83 43 0 0 16 0 8 0 183540802 937836544 110030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 110030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 110030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 110030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.37
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 183540806 937836544 110030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 110030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 110030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915856
[startup+162.526 s]
/proc/loadavg: 2.00 1.93 1.80 3/81 8855
/proc/meminfo: memFree=799952/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=161.72
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 153365 0 1 0 16029 143 0 0 25 0 8 0 183540798 937836544 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074113911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.85
Current children cumulated vsize (KiB) 915856
[startup+1483.79 s]
/proc/loadavg: 2.00 2.01 1.92 3/88 9626
/proc/meminfo: memFree=1035720/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=1477.59
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 156424 0 1 0 147600 159 0 0 25 0 8 0 183540798 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074109866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8847/statm: 228964 156105 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=1.87
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 139215 0 0 0 122 65 0 0 16 0 8 0 183540802 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.37
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.59
Current children cumulated vsize (KiB) 915856
[startup+1543.81 s]
/proc/loadavg: 2.06 2.02 1.93 3/88 9626
/proc/meminfo: memFree=1005896/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=1537.33
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 156424 0 1 0 153574 159 0 0 25 0 8 0 183540798 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336123 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8847/statm: 228964 156105 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=1.87
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 139215 0 0 0 122 65 0 0 16 0 8 0 183540802 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.37
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.33
Current children cumulated vsize (KiB) 915856
[startup+1603.83 s]
/proc/loadavg: 2.09 2.03 1.93 3/88 9626
/proc/meminfo: memFree=982728/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=1597.1
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 156424 0 1 0 159550 160 0 0 25 0 8 0 183540798 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8847/statm: 228964 156105 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=1.87
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 139215 0 0 0 122 65 0 0 16 0 8 0 183540802 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.37
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.1
Current children cumulated vsize (KiB) 915856
[startup+1663.84 s]
/proc/loadavg: 2.03 2.02 1.93 3/88 9626
/proc/meminfo: memFree=959880/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=1656.83
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 156424 0 1 0 165523 160 0 0 25 0 8 0 183540798 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074109866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8847/statm: 228964 156105 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=1.87
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 139215 0 0 0 122 65 0 0 16 0 8 0 183540802 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.37
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.83
Current children cumulated vsize (KiB) 915856
[startup+1723.85 s]
/proc/loadavg: 2.10 2.04 1.94 3/88 9626
/proc/meminfo: memFree=899016/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=1716.57
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 156424 0 1 0 171497 160 0 0 25 0 8 0 183540798 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074125024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8847/statm: 228964 156105 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=1.87
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 139215 0 0 0 122 65 0 0 16 0 8 0 183540802 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.37
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.57
Current children cumulated vsize (KiB) 915856
[startup+1783.87 s]
/proc/loadavg: 2.03 2.03 1.94 3/88 9626
/proc/meminfo: memFree=832456/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=1776.32
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 156424 0 1 0 177472 160 0 0 25 0 8 0 183540798 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074109866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8847/statm: 228964 156105 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=1.87
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 139215 0 0 0 122 65 0 0 16 0 8 0 183540802 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.37
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.32
Current children cumulated vsize (KiB) 915856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.71 s]
/proc/loadavg: 2.02 2.03 1.94 3/88 9626
/proc/meminfo: memFree=814536/2055920 swapFree=4192812/4192956
[pid=8847] ppid=8845 vsize=915856 CPUtime=1800.05
/proc/8847/stat : 8847 (java) R 8845 8847 8424 0 -1 0 156424 0 1 0 179845 160 0 0 25 0 8 0 183540798 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074109866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8847/statm: 228964 156105 2546 14 0 215434 0
[pid=8847/tid=8849] ppid=8845 vsize=915856 CPUtime=1.87
/proc/8847/task/8849/stat : 8849 (java) S 8845 8847 8424 0 -1 64 139215 0 0 0 122 65 0 0 16 0 8 0 183540802 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8850] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8850/stat : 8850 (java) S 8845 8847 8424 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8851] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8851/stat : 8851 (java) S 8845 8847 8424 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183540803 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8852] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8852/stat : 8852 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8853] ppid=8845 vsize=915856 CPUtime=0.37
/proc/8847/task/8853/stat : 8853 (java) S 8845 8847 8424 0 -1 64 518 0 0 0 35 2 0 0 16 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8854] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8854/stat : 8854 (java) S 8845 8847 8424 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8847/tid=8855] ppid=8845 vsize=915856 CPUtime=0
/proc/8847/task/8855/stat : 8855 (java) S 8845 8847 8424 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183540806 937836544 156105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.84
CPU time (s): 1800.19
CPU user time (s): 1798.49
CPU system time (s): 1.69874
CPU usage (%): 99.5766
Max. virtual memory (cumulated for all children) (KiB): 915948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.49
system time used= 1.69874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156441
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= 38318
involuntary context switches= 45719
runsolver used 2.02669 s user time and 4.76028 s system time
The end
Begin job on node34 on Tue Jan 9 14:04:31 UTC 2007
IDJOB= 237836
IDBENCH= 6966
FILE ID= node34/237836-1168351470
PBS_JOBID= 3503874
Free space on /tmp= 66528 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_32.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237836-1168351470/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-237836-1168351470 -o ROOT/results/node34/solver-237836-1168351470 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237836-1168351470/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ff483edd60f3e73118ce7d27f98532d
RANDOM SEED= 943574948
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.227
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.227
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: 1436192 kB
Buffers: 14536 kB
Cached: 126224 kB
SwapCached: 0 kB
Active: 520700 kB
Inactive: 43116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1436192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3556 kB
Writeback: 0 kB
Mapped: 434356 kB
Slab: 40576 kB
Committed_AS: 3797400 kB
PageTables: 2548 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= 66548 MiB
End job on node34 on Tue Jan 9 14:34:38 UTC 2007