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/237884-1168351707/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.57 nbVariables=2209 nbDomainTypes=1 minDomainSize=47 maxDomainSize=47
0.57 => wckTime=0.27 cpuTime=0.19 mem=12M748
0.57
0.57 predicates being loaded...
0.57
0.57 constraints being loaded...
5.94 nbConstraints=50853 nbConvertedConstraints=50853 nbConvertConstraintsChecks=8836 nbExtensionStructures=4
5.94 nbSharedExtensionStructures=50849 nbConflictsStructures=4 nbSharedConflictsStructures=50849
5.94 nbSharedBinaryRepresentations=281 maxDegree=47 maxArity=2
5.94 => wckTime=5.642 cpuTime=4.99 mem=79M99
6.28
6.28 solver IterativeSystematicSolver being built...
6.57 => wckTime=6.275 cpuTime=5.22 mem=67M17
9.46
9.46 preprocessing
9.46 nbConstraintChecks=2082425 nbPropagations=66432 nbRevisions=67931 nbUselessRevisions=5354 nbSingletonTests=2518
9.46 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
9.46 => wckTime=2.863 cpuTime=2.81 mem=67M17
10.07
10.07 search
10.07 run=0 nbConstraintChecks=203688 nbPropagations=71923 nbRevisions=73467 nbUselessRevisions=5470
10.07 nbAssignments=153 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=174 nbRestartNogoods=0 mapSize=10
10.07 nbInferences=0 nbTooLargeKeys=0
10.07 => wckTime=3.491 cpuTime=3.42 mem=69M44
10.42
10.42 search
10.42 run=1 nbConstraintChecks=406407 nbPropagations=149354 nbRevisions=152470 nbUselessRevisions=11034
10.42 nbAssignments=311 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=356 nbRestartNogoods=4 mapSize=23
10.42 nbInferences=0 nbTooLargeKeys=0
10.42 => wckTime=3.833 cpuTime=3.76 mem=71M38
10.76
10.76 search
10.76 run=2 nbConstraintChecks=609430 nbPropagations=232373 nbRevisions=237099 nbUselessRevisions=16700
10.76 nbAssignments=485 nbFailedAssignments=41 nbBacktracks=47 nbVisitedNodes=568 nbRestartNogoods=5 mapSize=44
10.76 nbInferences=0 nbTooLargeKeys=0
10.76 => wckTime=4.18 cpuTime=4.1 mem=73M31
11.13
11.13 search
11.13 run=3 nbConstraintChecks=812853 nbPropagations=321074 nbRevisions=327448 nbUselessRevisions=22470
11.13 nbAssignments=679 nbFailedAssignments=68 nbBacktracks=80 nbVisitedNodes=817 nbRestartNogoods=9 mapSize=77
11.13 nbInferences=1 nbTooLargeKeys=0
11.13 => wckTime=4.549 cpuTime=4.47 mem=75M25
11.54
11.54 search
11.54 run=4 nbConstraintChecks=1016683 nbPropagations=415591 nbRevisions=423645 nbUselessRevisions=28344
11.54 nbAssignments=903 nbFailedAssignments=105 nbBacktracks=131 nbVisitedNodes=1120 nbRestartNogoods=13 mapSize=128
11.54 nbInferences=6 nbTooLargeKeys=0
11.54 => wckTime=4.959 cpuTime=4.87 mem=77M19
12.01
12.01 search
12.01 run=5 nbConstraintChecks=1221354 nbPropagations=516154 nbRevisions=525897 nbUselessRevisions=34323
12.01 nbAssignments=1175 nbFailedAssignments=154 nbBacktracks=206 nbVisitedNodes=1507 nbRestartNogoods=17
12.01 mapSize=203 nbInferences=23 nbTooLargeKeys=0
12.01 => wckTime=5.424 cpuTime=5.33 mem=80M10
12.56
12.56 search
12.56 run=6 nbConstraintChecks=1426826 nbPropagations=623082 nbRevisions=634514 nbUselessRevisions=40409
12.56 nbAssignments=1518 nbFailedAssignments=229 nbBacktracks=320 nbVisitedNodes=2022 nbRestartNogoods=19
12.56 mapSize=317 nbInferences=45 nbTooLargeKeys=0
12.56 => wckTime=5.981 cpuTime=5.87 mem=83M997
13.23
13.23 search
13.23 run=7 nbConstraintChecks=1633708 nbPropagations=736875 nbRevisions=749958 nbUselessRevisions=46605
13.23 nbAssignments=1970 nbFailedAssignments=336 nbBacktracks=490 nbVisitedNodes=2730 nbRestartNogoods=25
13.23 mapSize=487 nbInferences=87 nbTooLargeKeys=0
13.23 => wckTime=6.647 cpuTime=6.54 mem=88M982
14.13
14.13 search
14.13 run=8 nbConstraintChecks=1842692 nbPropagations=858315 nbRevisions=872934 nbUselessRevisions=52915
14.13 nbAssignments=2592 nbFailedAssignments=487 nbBacktracks=746 nbVisitedNodes=3737 nbRestartNogoods=33
14.13 mapSize=743 nbInferences=170 nbTooLargeKeys=0
14.13 => wckTime=7.549 cpuTime=7.41 mem=61M424
15.34
15.34 search
15.34 run=9 nbConstraintChecks=2055229 nbPropagations=988685 nbRevisions=1004579 nbUselessRevisions=59340
15.34 nbAssignments=3483 nbFailedAssignments=705 nbBacktracks=1130 nbVisitedNodes=5220 nbRestartNogoods=40
15.34 mapSize=1127 nbInferences=326 nbTooLargeKeys=0
15.34 => wckTime=8.76 cpuTime=8.59 mem=71M576
17.05
17.05 search
17.05 run=10 nbConstraintChecks=2273127 nbPropagations=1129987 nbRevisions=1146610 nbUselessRevisions=65882
17.05 nbAssignments=4801 nbFailedAssignments=1015 nbBacktracks=1707 nbVisitedNodes=7459 nbRestartNogoods=45
17.05 mapSize=1704 nbInferences=627 nbTooLargeKeys=0
17.05 => wckTime=10.465 cpuTime=10.28 mem=87M759
19.76
19.76 search
19.76 run=11 nbConstraintChecks=2501188 nbPropagations=1285758 nbRevisions=1302126 nbUselessRevisions=72667
19.76 nbAssignments=6834 nbFailedAssignments=1432 nbBacktracks=2571 nbVisitedNodes=10946 nbRestartNogoods=48
19.76 mapSize=2568 nbInferences=1247 nbTooLargeKeys=0
19.76 => wckTime=13.181 cpuTime=12.92 mem=94M278
24.43
24.43 search
24.43 run=12 nbConstraintChecks=3158677 nbPropagations=1473439 nbRevisions=1487404 nbUselessRevisions=80085
24.43 nbAssignments=10378 nbFailedAssignments=1975 nbBacktracks=3868 nbVisitedNodes=16624 nbRestartNogoods=64
24.43 mapSize=3865 nbInferences=2559 nbTooLargeKeys=0
24.43 => wckTime=17.852 cpuTime=17.52 mem=114M288
31.15
31.15 search
31.15 run=13 nbConstraintChecks=3432221 nbPropagations=1691069 nbRevisions=1698540 nbUselessRevisions=87788
31.15 nbAssignments=15414 nbFailedAssignments=2739 nbBacktracks=5814 nbVisitedNodes=25383 nbRestartNogoods=66
31.15 mapSize=5811 nbInferences=4754 nbTooLargeKeys=0
31.15 => wckTime=24.568 cpuTime=24.16 mem=159M393
43.14
43.14 search
43.14 run=14 nbConstraintChecks=3980741 nbPropagations=1964216 nbRevisions=1956719 nbUselessRevisions=96142
43.14 nbAssignments=24043 nbFailedAssignments=3659 nbBacktracks=8734 nbVisitedNodes=40246 nbRestartNogoods=75
43.14 mapSize=8731 nbInferences=9280 nbTooLargeKeys=0
43.14 => wckTime=36.562 cpuTime=35.97 mem=198M684
58.89
58.89 search
58.89 run=15 nbConstraintChecks=4358710 nbPropagations=2301392 nbRevisions=2268464 nbUselessRevisions=104980
58.89 nbAssignments=35642 nbFailedAssignments=5274 nbBacktracks=13112 nbVisitedNodes=60556 nbRestartNogoods=80
58.89 mapSize=13090 nbInferences=14761 nbTooLargeKeys=0
58.89 => wckTime=52.312 cpuTime=51.51 mem=280M914
73.48
73.48 search
73.48 run=16 nbConstraintChecks=5363096 nbPropagations=2744687 nbRevisions=2675193 nbUselessRevisions=116800
73.48 nbAssignments=52625 nbFailedAssignments=8256 nbBacktracks=19681 nbVisitedNodes=90644 nbRestartNogoods=89
73.48 mapSize=19551 nbInferences=22026 nbTooLargeKeys=0
73.48 => wckTime=66.895 cpuTime=65.95 mem=308M248
94.66
94.66 search
94.66 run=17 nbConstraintChecks=6071693 nbPropagations=3298533 nbRevisions=3180756 nbUselessRevisions=128933
94.66 nbAssignments=73834 nbFailedAssignments=13428 nbBacktracks=29534 nbVisitedNodes=127822 nbRestartNogoods=104
94.66 mapSize=29363 nbInferences=27906 nbTooLargeKeys=0
94.66 => wckTime=88.08 cpuTime=86.86 mem=399M917
145.27
145.28 INFO : Stopping hyperNogood (mapSize=43131, nbTooLargekeys=0, mem=600M285)
146.30
146.30 search
146.30 run=18 nbConstraintChecks=7304325 nbPropagations=4090871 nbRevisions=3885253 nbUselessRevisions=143925
146.30 nbAssignments=115628 nbFailedAssignments=18753 nbBacktracks=44313 nbVisitedNodes=201679 nbRestartNogoods=112
146.30 => wckTime=139.717 cpuTime=137.8 mem=600M285
168.77
168.77 search
168.77 run=19 nbConstraintChecks=8867336 nbPropagations=5080322 nbRevisions=4788038 nbUselessRevisions=160348
168.77 nbAssignments=153663 nbFailedAssignments=33920 nbBacktracks=66482 nbVisitedNodes=269525 nbRestartNogoods=130
168.77 => wckTime=162.187 cpuTime=160.16 mem=600M285
202.52
202.52 search
202.52 run=20 nbConstraintChecks=10037330 nbPropagations=6334030 nbRevisions=5955862 nbUselessRevisions=177567
202.52 nbAssignments=209983 nbFailedAssignments=56706 nbBacktracks=99734 nbVisitedNodes=371311 nbRestartNogoods=147
202.52 => wckTime=195.941 cpuTime=193.75 mem=600M285
253.40
253.40 search
253.40 run=21 nbConstraintChecks=11337304 nbPropagations=7973810 nbRevisions=7510066 nbUselessRevisions=195246
253.40 nbAssignments=294533 nbFailedAssignments=91087 nbBacktracks=149612 nbVisitedNodes=524508 nbRestartNogoods=162
253.40 => wckTime=246.815 cpuTime=244.4 mem=601M303
328.62
328.62 search
328.62 run=22 nbConstraintChecks=12991837 nbPropagations=10185133 nbRevisions=9636169 nbUselessRevisions=213317
328.62 nbAssignments=421302 nbFailedAssignments=142864 nbBacktracks=224430 nbVisitedNodes=754831 nbRestartNogoods=176
328.62 => wckTime=322.041 cpuTime=319.28 mem=601M303
443.16
443.16 search
443.16 run=23 nbConstraintChecks=15354897 nbPropagations=13250905 nbRevisions=12617200 nbUselessRevisions=231871
443.16 nbAssignments=611461 nbFailedAssignments=220621 nbBacktracks=336657 nbVisitedNodes=1100504 nbRestartNogoods=195
443.16 => wckTime=436.579 cpuTime=433.29 mem=601M303
614.46
614.46 search
614.46 run=24 nbConstraintChecks=18780931 nbPropagations=17593714 nbRevisions=16876207 nbUselessRevisions=251381
614.46 nbAssignments=896356 nbFailedAssignments=337000 nbBacktracks=504998 nbVisitedNodes=1618157 nbRestartNogoods=216
614.46 => wckTime=607.88 cpuTime=603.81 mem=601M303
857.08
857.08 search
857.08 run=25 nbConstraintChecks=24563979 nbPropagations=23864688 nbRevisions=23170267 nbUselessRevisions=377070
857.08 nbAssignments=1323576 nbFailedAssignments=511487 nbBacktracks=757509 nbVisitedNodes=2394349
857.08 nbRestartNogoods=238
857.08 => wckTime=850.495 cpuTime=845.3 mem=601M303
1227.86
1227.86 search
1227.86 run=26 nbConstraintChecks=32707336 nbPropagations=33013184 nbRevisions=32347615 nbUselessRevisions=508768
1227.86 nbAssignments=1963322 nbFailedAssignments=771954 nbBacktracks=1136277 nbVisitedNodes=3554738
1227.86 nbRestartNogoods=258
1227.86 => wckTime=1221.279 cpuTime=1214.39 mem=601M303
1787.04
1787.04 search
1787.04 run=27 nbConstraintChecks=44335988 nbPropagations=46469161 nbRevisions=45851385 nbUselessRevisions=659429
1787.04 nbAssignments=2924152 nbFailedAssignments=1164228 nbBacktracks=1704428 nbVisitedNodes=5299931
1787.04 nbRestartNogoods=281
1787.04 => wckTime=1780.454 cpuTime=1770.5 mem=601M303
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-237884-1168351707 -o ROOT/results/node60/solver-237884-1168351707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237884-1168351707/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: 0.78 0.95 1.10 4/68 28829
/proc/meminfo: memFree=1842384/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=0 CPUtime=0
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 183568659 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28828/statm: 41 3 0 0 0 1 0
[startup+0.10418 s]
/proc/loadavg: 0.78 0.95 1.10 4/68 28829
/proc/meminfo: memFree=1842384/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=914988 CPUtime=0.09
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 3069 0 1 0 7 2 0 0 16 0 8 0 183568659 936947712 2815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28828/statm: 228747 2816 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512224 s]
/proc/loadavg: 0.78 0.95 1.10 4/68 28829
/proc/meminfo: memFree=1842384/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915328 CPUtime=0.49
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 7014 0 1 0 44 5 0 0 17 0 8 0 183568659 937295872 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28828/statm: 228832 6753 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33431 s]
/proc/loadavg: 0.78 0.95 1.10 5/88 28895
/proc/meminfo: memFree=1762608/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915644 CPUtime=1.3
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 18359 0 1 0 118 12 0 0 16 0 8 0 183568659 937619456 18097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073536856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228911 18097 2160 14 0 215381 0
[pid=28828/tid=28830] ppid=28826 vsize=915644 CPUtime=0.05
/proc/28828/task/28830/stat : 28830 (java) R 28826 28828 28442 0 -1 64 1821 0 0 0 5 0 0 0 17 0 8 0 183568662 937619456 18097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183568663 937619456 18097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937619456 18097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937619456 18097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915644 CPUtime=0.15
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 406 0 0 0 14 1 0 0 16 0 8 0 183568666 937619456 18097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937619456 18097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183568666 937619456 18097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644
[startup+2.99046 s]
/proc/loadavg: 0.78 0.95 1.10 3/88 28895
/proc/meminfo: memFree=1740144/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915648 CPUtime=2.96
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 23032 0 1 0 246 50 0 0 16 0 8 0 183568659 937623552 22767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228912 22767 2180 14 0 215382 0
[pid=28828/tid=28830] ppid=28826 vsize=915648 CPUtime=0.28
/proc/28828/task/28830/stat : 28830 (java) R 28826 28828 28442 0 -1 64 6407 0 0 0 26 2 0 0 19 0 8 0 183568662 937623552 22767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915648 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183568663 937623552 22767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915648 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937623552 22767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915648 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937623552 22767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915648 CPUtime=0.19
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 429 0 0 0 18 1 0 0 16 0 8 0 183568666 937623552 22767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915648 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937623552 22767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915648 CPUtime=0
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183568666 937623552 22767 18446744073709551615 134512640 134570532 4294956480 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) 915648
[startup+6.28779 s]
/proc/loadavg: 0.96 0.98 1.11 4/88 28895
/proc/meminfo: memFree=1710000/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915644 CPUtime=6.24
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 29827 0 1 0 419 205 0 0 16 0 8 0 183568659 937619456 29507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153681991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228911 29507 2394 14 0 215381 0
[pid=28828/tid=28830] ppid=28826 vsize=915644 CPUtime=0.76
/proc/28828/task/28830/stat : 28830 (java) R 28826 28828 28442 0 -1 64 12957 0 0 0 72 4 0 0 24 0 8 0 183568662 937619456 29507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183568663 937619456 29507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937619456 29507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937619456 29507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915644 CPUtime=0.22
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 183568666 937619456 29507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937619456 29507 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915644 CPUtime=0
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183568666 937619456 29507 18446744073709551615 134512640 134570532 4294956480 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) 915644
[startup+12.7754 s]
/proc/loadavg: 1.04 1.00 1.11 3/88 28895
/proc/meminfo: memFree=1676160/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=12.69
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 30165 0 1 0 1063 206 0 0 25 0 8 0 183568659 937885696 29841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074214935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 29841 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=0.76
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 12957 0 0 0 72 4 0 0 17 0 8 0 183568662 937885696 29841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 29841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 29841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 29841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.36
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 559 0 0 0 34 2 0 0 15 0 8 0 183568666 937885696 29841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 29841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183568666 937885696 29841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915904
[startup+25.6237 s]
/proc/loadavg: 1.33 1.07 1.13 3/88 28895
/proc/meminfo: memFree=1593736/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=25.46
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 45352 0 1 0 2332 214 0 0 25 0 8 0 183568659 937885696 45019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074223411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 45019 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=0.89
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 28127 0 0 0 78 11 0 0 16 0 8 0 183568662 937885696 45019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 45019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 45019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 45019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.37
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 568 0 0 0 35 2 0 0 15 0 8 0 183568666 937885696 45019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 45019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183568666 937885696 45019 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915904
[startup+51.2392 s]
/proc/loadavg: 1.56 1.14 1.15 3/88 28895
/proc/meminfo: memFree=1460680/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=50.96
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 70775 0 1 0 4871 225 0 0 25 0 8 0 183568659 937885696 70437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 70437 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.1
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 53544 0 0 0 89 21 0 0 16 0 8 0 183568662 937885696 70437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 70437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 70437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 70437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 569 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 70437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 70437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183568666 937885696 70437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915904
[startup+102.462 s]
/proc/loadavg: 1.81 1.27 1.19 3/88 28895
/proc/meminfo: memFree=1226376/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=101.93
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 118444 0 1 0 9948 245 0 0 25 0 8 0 183568659 937885696 118099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 118099 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.51
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 101205 0 0 0 110 41 0 0 16 0 8 0 183568662 937885696 118099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 118099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 118099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 118099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 570 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 118099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 118099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183568666 937885696 118099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915904
[startup+162.534 s]
/proc/loadavg: 1.93 1.40 1.24 3/88 28895
/proc/meminfo: memFree=1035464/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=161.68
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 156187 0 1 0 15908 260 0 0 25 0 8 0 183568659 937885696 155832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.9
Current children cumulated vsize (KiB) 915904
[startup+1483.59 s]
/proc/loadavg: 2.00 2.00 1.81 3/89 28972
/proc/meminfo: memFree=1011136/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=1476.69
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 156188 0 1 0 147402 267 0 0 25 0 8 0 183568659 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 155833 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.86
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 138938 0 0 0 130 56 0 0 16 0 8 0 183568662 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 571 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0.01
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.69
Current children cumulated vsize (KiB) 915904
[startup+1543.63 s]
/proc/loadavg: 2.04 2.01 1.82 3/89 28972
/proc/meminfo: memFree=1011136/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=1536.48
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 156188 0 1 0 153381 267 0 0 25 0 8 0 183568659 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 155833 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.86
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 138938 0 0 0 130 56 0 0 16 0 8 0 183568662 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 571 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0.01
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.48
Current children cumulated vsize (KiB) 915904
[startup+1603.68 s]
/proc/loadavg: 2.01 2.01 1.83 3/89 28972
/proc/meminfo: memFree=1011136/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=1596.24
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 156188 0 1 0 159357 267 0 0 25 0 8 0 183568659 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 155833 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.86
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 138938 0 0 0 130 56 0 0 16 0 8 0 183568662 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 571 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0.02
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.24
Current children cumulated vsize (KiB) 915904
[startup+1663.73 s]
/proc/loadavg: 2.00 2.00 1.83 3/89 28972
/proc/meminfo: memFree=1011072/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=1656.02
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 156188 0 1 0 165334 268 0 0 25 0 8 0 183568659 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 155833 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.86
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 138938 0 0 0 130 56 0 0 16 0 8 0 183568662 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 571 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0.02
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.02
Current children cumulated vsize (KiB) 915904
[startup+1723.79 s]
/proc/loadavg: 2.00 2.00 1.84 3/89 28972
/proc/meminfo: memFree=1011072/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=1715.57
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 156188 0 1 0 171289 268 0 0 25 0 8 0 183568659 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 155833 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.86
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 138938 0 0 0 130 56 0 0 16 0 8 0 183568662 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 571 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0.02
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.57
Current children cumulated vsize (KiB) 915904
[startup+1783.85 s]
/proc/loadavg: 2.00 2.00 1.84 3/89 28972
/proc/meminfo: memFree=974976/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=1775.11
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 156188 0 1 0 177243 268 0 0 25 0 8 0 183568659 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173338 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 155833 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.86
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 138938 0 0 0 130 56 0 0 16 0 8 0 183568662 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 571 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0.03
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.11
Current children cumulated vsize (KiB) 915904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.04 s]
/proc/loadavg: 2.00 2.00 1.85 3/89 28972
/proc/meminfo: memFree=974976/2055920 swapFree=4192812/4192956
[pid=28828] ppid=28826 vsize=915904 CPUtime=1800.08
/proc/28828/stat : 28828 (java) R 28826 28828 28442 0 -1 0 156188 0 1 0 179740 268 0 0 25 0 8 0 183568659 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173338 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28828/statm: 228976 155833 2545 14 0 215446 0
[pid=28828/tid=28830] ppid=28826 vsize=915904 CPUtime=1.86
/proc/28828/task/28830/stat : 28830 (java) S 28826 28828 28442 0 -1 64 138938 0 0 0 130 56 0 0 16 0 8 0 183568662 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28831] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28831/stat : 28831 (java) S 28826 28828 28442 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28832] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28832/stat : 28832 (java) S 28826 28828 28442 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183568663 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28833] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28833/stat : 28833 (java) S 28826 28828 28442 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28834] ppid=28826 vsize=915904 CPUtime=0.38
/proc/28828/task/28834/stat : 28834 (java) S 28826 28828 28442 0 -1 64 571 0 0 0 36 2 0 0 16 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28835] ppid=28826 vsize=915904 CPUtime=0
/proc/28828/task/28835/stat : 28835 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28828/tid=28836] ppid=28826 vsize=915904 CPUtime=0.03
/proc/28828/task/28836/stat : 28836 (java) S 28826 28828 28442 0 -1 64 0 0 0 0 2 1 0 0 15 0 8 0 183568666 937885696 155833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.17
CPU time (s): 1800.22
CPU user time (s): 1797.44
CPU system time (s): 2.77458
CPU usage (%): 99.5052
Max. virtual memory (cumulated for all children) (KiB): 915904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.44
system time used= 2.77458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156205
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= 38207
involuntary context switches= 63219
runsolver used 1.91171 s user time and 4.66929 s system time
The end
Begin job on node60 on Tue Jan 9 14:08:28 UTC 2007
IDJOB= 237884
IDBENCH= 6969
FILE ID= node60/237884-1168351707
PBS_JOBID= 3503921
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_47.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237884-1168351707/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-237884-1168351707 -o ROOT/results/node60/solver-237884-1168351707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237884-1168351707/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e9d5d176681ed94d2da63720f433f021
RANDOM SEED= 435514211
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1842864 kB
Buffers: 29500 kB
Cached: 111464 kB
SwapCached: 0 kB
Active: 65032 kB
Inactive: 96044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1842864 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8448 kB
Writeback: 0 kB
Mapped: 30280 kB
Slab: 37680 kB
Committed_AS: 4499248 kB
PageTables: 1684 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= 66554 MiB
End job on node60 on Tue Jan 9 14:38:37 UTC 2007