0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215146-1168077860/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.56 nbVariables=3300 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.56 => wckTime=0.25 cpuTime=0.18 mem=11M778
0.56
0.56 predicates being loaded...
0.57
0.57 constraints being loaded...
3.19 nbConstraints=21018 nbConvertedConstraints=20610 nbConvertConstraintsChecks=98312 nbExtensionStructures=2
3.19 nbSharedExtensionStructures=20608 nbConflictsStructures=4 nbSharedConflictsStructures=21014
3.19 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2 nbSharedEvaluationManagers=406 maxDegree=53 maxArity=16
3.19 => wckTime=2.879 cpuTime=2.53 mem=43M889
3.38
3.38 solver IterativeSystematicSolver being built...
3.76 => wckTime=3.443 cpuTime=2.82 mem=61M932
3.81
3.81 preprocessing
3.81 nbConstraintChecks=0 nbPropagations=3300 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.81 detectedInconsistency=no
3.81 => wckTime=0.044 cpuTime=0.03 mem=61M932
6.79
6.79 search
6.79 run=0 nbConstraintChecks=42671 nbValidityChecks=361 nbPropagations=5870 nbRevisions=22199
6.79 nbUselessRevisions=19985 nbAssignments=439 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=446
6.79 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
6.79 => wckTime=3.028 cpuTime=2.95 mem=62M945
9.84
9.84 search
9.84 run=1 nbConstraintChecks=87787 nbValidityChecks=847 nbPropagations=14712 nbRevisions=67965
9.84 nbUselessRevisions=60912 nbAssignments=889 nbFailedAssignments=7 nbBacktracks=27 nbVisitedNodes=904
9.84 nbRestartNogoods=2 mapSize=9 nbInferences=0 nbTooLargeKeys=0
9.84 => wckTime=6.08 cpuTime=5.98 mem=62M945
12.89
12.89 search
12.89 run=2 nbConstraintChecks=135280 nbValidityChecks=1480 nbPropagations=26919 nbRevisions=138786
12.89 nbUselessRevisions=123866 nbAssignments=1346 nbFailedAssignments=12 nbBacktracks=52 nbVisitedNodes=1371
12.89 nbRestartNogoods=5 mapSize=17 nbInferences=0 nbTooLargeKeys=0
12.89 => wckTime=9.128 cpuTime=8.99 mem=63M942
16.19
16.19 search
16.19 run=3 nbConstraintChecks=188772 nbValidityChecks=2619 nbPropagations=43343 nbRevisions=238458
16.19 nbUselessRevisions=211759 nbAssignments=1830 nbFailedAssignments=21 nbBacktracks=99 nbVisitedNodes=1872
16.19 nbRestartNogoods=7 mapSize=33 nbInferences=0 nbTooLargeKeys=0
16.19 => wckTime=12.432 cpuTime=12.24 mem=63M942
19.56
19.56 search
19.56 run=4 nbConstraintChecks=242142 nbValidityChecks=4083 nbPropagations=63978 nbRevisions=367107
19.56 nbUselessRevisions=324722 nbAssignments=2325 nbFailedAssignments=29 nbBacktracks=152 nbVisitedNodes=2383
19.56 nbRestartNogoods=8 mapSize=48 nbInferences=0 nbTooLargeKeys=0
19.56 => wckTime=15.795 cpuTime=15.57 mem=64M939
23.55
23.55 search
23.55 run=5 nbConstraintChecks=307476 nbValidityChecks=6822 nbPropagations=90720 nbRevisions=532466
23.55 nbUselessRevisions=468544 nbAssignments=2877 nbFailedAssignments=42 nbBacktracks=229 nbVisitedNodes=2961
23.55 nbRestartNogoods=9 mapSize=71 nbInferences=0 nbTooLargeKeys=0
23.55 => wckTime=19.79 cpuTime=19.54 mem=64M939
28.20
28.20 search
28.20 run=6 nbConstraintChecks=386940 nbValidityChecks=11923 nbPropagations=125835 nbRevisions=744572
28.20 nbUselessRevisions=650937 nbAssignments=3490 nbFailedAssignments=61 nbBacktracks=342 nbVisitedNodes=3612
28.20 nbRestartNogoods=12 mapSize=106 nbInferences=0 nbTooLargeKeys=0
28.20 => wckTime=24.44 cpuTime=24.14 mem=65M936
33.39
33.39 search
33.39 run=7 nbConstraintChecks=476821 nbValidityChecks=20232 nbPropagations=170881 nbRevisions=1012383
33.39 nbUselessRevisions=879248 nbAssignments=4157 nbFailedAssignments=86 nbBacktracks=513 nbVisitedNodes=4328
33.39 nbRestartNogoods=15 mapSize=154 nbInferences=0 nbTooLargeKeys=0
33.39 => wckTime=29.625 cpuTime=29.27 mem=65M936
40.25
40.25 search
40.25 run=8 nbConstraintChecks=592404 nbValidityChecks=35470 nbPropagations=229892 nbRevisions=1356873
40.25 nbUselessRevisions=1170295 nbAssignments=4985 nbFailedAssignments=122 nbBacktracks=809 nbVisitedNodes=5228
40.25 nbRestartNogoods=16 mapSize=225 nbInferences=0 nbTooLargeKeys=0
40.25 => wckTime=36.486 cpuTime=36.07 mem=66M933
48.82
48.82 search
48.82 run=9 nbConstraintChecks=788058 nbValidityChecks=46316 nbPropagations=314356 nbRevisions=1817115
48.82 nbUselessRevisions=1551298 nbAssignments=5967 nbFailedAssignments=182 nbBacktracks=1193 nbVisitedNodes=6330
48.82 nbRestartNogoods=17 mapSize=341 nbInferences=0 nbTooLargeKeys=0
48.82 => wckTime=45.054 cpuTime=44.55 mem=68M927
63.96
63.96 search
63.96 run=10 nbConstraintChecks=1121432 nbValidityChecks=81612 nbPropagations=443510 nbRevisions=2497807
63.96 nbUselessRevisions=2107045 nbAssignments=7226 nbFailedAssignments=286 nbBacktracks=1769 nbVisitedNodes=7798
63.96 nbRestartNogoods=21 mapSize=547 nbInferences=0 nbTooLargeKeys=0
63.96 => wckTime=60.201 cpuTime=59.55 mem=70M920
82.85
82.85 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=32M143)
83.68
83.68 search
83.68 run=11 nbConstraintChecks=2532106 nbValidityChecks=350498 nbPropagations=683672 nbRevisions=4286455
83.68 nbUselessRevisions=3651891 nbAssignments=9276 nbFailedAssignments=864 nbBacktracks=2636 nbVisitedNodes=10555
83.68 nbRestartNogoods=23
83.68 => wckTime=79.919 cpuTime=79.07 mem=32M143
87.98
87.98 search
87.98 run=12 nbConstraintChecks=7083277 nbValidityChecks=445541 nbPropagations=1115796 nbRevisions=8887463
87.98 nbUselessRevisions=7792055 nbAssignments=12073 nbFailedAssignments=1934 nbBacktracks=3933 nbVisitedNodes=14532
87.98 nbRestartNogoods=24
87.98 => wckTime=84.214 cpuTime=83.32 mem=32M143
94.36
94.36 search
94.36 run=13 nbConstraintChecks=13960715 nbValidityChecks=709407 nbPropagations=1841737 nbRevisions=17937675
94.36 nbUselessRevisions=16049616 nbAssignments=16128 nbFailedAssignments=3516 nbBacktracks=5884 nbVisitedNodes=20348
94.36 nbRestartNogoods=41
94.36 => wckTime=90.597 cpuTime=89.64 mem=32M143
103.97
103.97 search
103.97 run=14 nbConstraintChecks=24897757 nbValidityChecks=1205972 nbPropagations=3018964 nbRevisions=34033023
103.97 nbUselessRevisions=30844720 nbAssignments=22004 nbFailedAssignments=5995 nbBacktracks=8809 nbVisitedNodes=29035
103.97 nbRestartNogoods=57
103.97 => wckTime=100.208 cpuTime=99.18 mem=32M143
119.04
119.04 search
119.04 run=15 nbConstraintChecks=41461670 nbValidityChecks=2588223 nbPropagations=4933822 nbRevisions=61845560
119.04 nbUselessRevisions=56538023 nbAssignments=30779 nbFailedAssignments=9763 nbBacktracks=13187
119.04 nbVisitedNodes=42030 nbRestartNogoods=63
119.04 => wckTime=115.278 cpuTime=114.1 mem=32M143
142.48
142.48 search
142.48 run=16 nbConstraintChecks=66737238 nbValidityChecks=4931454 nbPropagations=7892654 nbRevisions=107150048
142.48 nbUselessRevisions=98554627 nbAssignments=43324 nbFailedAssignments=15455 nbBacktracks=19764
142.48 nbVisitedNodes=61082 nbRestartNogoods=88
142.48 => wckTime=138.722 cpuTime=137.34 mem=32M143
173.31
173.31 search
173.31 run=17 nbConstraintChecks=100993261 nbValidityChecks=5844405 nbPropagations=12339702 nbRevisions=174440993
173.31 nbUselessRevisions=160911675 nbAssignments=60839 nbFailedAssignments=22842 nbBacktracks=29621
173.31 nbVisitedNodes=87323 nbRestartNogoods=110
173.31 => wckTime=169.545 cpuTime=167.87 mem=32M143
219.88
219.88 search
219.88 run=18 nbConstraintChecks=152441185 nbValidityChecks=8032224 nbPropagations=19035568 nbRevisions=275712581
219.88 nbUselessRevisions=254761058 nbAssignments=87098 nbFailedAssignments=34054 nbBacktracks=44402
219.88 nbVisitedNodes=126729 nbRestartNogoods=139
219.88 => wckTime=216.12 cpuTime=214.02 mem=33M147
294.49
294.49 search
294.49 run=19 nbConstraintChecks=236174479 nbValidityChecks=12589067 nbPropagations=29493929 nbRevisions=434091571
294.49 nbUselessRevisions=401572649 nbAssignments=127900 nbFailedAssignments=52404 nbBacktracks=66575
294.49 nbVisitedNodes=188889 nbRestartNogoods=168
294.49 => wckTime=290.732 cpuTime=287.95 mem=33M147
411.54
411.54 search
411.54 run=20 nbConstraintChecks=363474029 nbValidityChecks=23653240 nbPropagations=45702160 nbRevisions=683538919
411.54 nbUselessRevisions=633138079 nbAssignments=188904 nbFailedAssignments=79847 nbBacktracks=99831
411.54 nbVisitedNodes=282221 nbRestartNogoods=198
411.54 => wckTime=407.775 cpuTime=403.93 mem=33M147
582.34
582.34 search
582.34 run=21 nbConstraintChecks=544254733 nbValidityChecks=44186049 nbPropagations=69944584 nbRevisions=1066128790
582.34 nbUselessRevisions=989008062 nbAssignments=278636 nbFailedAssignments=119440 nbBacktracks=149721
582.34 nbVisitedNodes=418000 nbRestartNogoods=221
582.34 => wckTime=578.575 cpuTime=573.17 mem=33M147
810.43
810.43 search
810.43 run=22 nbConstraintChecks=798846592 nbValidityChecks=52161684 nbPropagations=105695114 nbRevisions=1617045484
810.43 nbUselessRevisions=1500610656 nbAssignments=407104 nbFailedAssignments=172785 nbBacktracks=224539
810.43 nbVisitedNodes=611325 nbRestartNogoods=229
810.43 => wckTime=806.671 cpuTime=799.2 mem=33M147
1161.75
1161.75 search
1161.75 run=23 nbConstraintChecks=1190745519 nbValidityChecks=70096844 nbPropagations=159129270 nbRevisions=2432508330
1161.75 nbUselessRevisions=2257342718 nbAssignments=602553 nbFailedAssignments=255717 nbBacktracks=336767
1161.75 nbVisitedNodes=906663 nbRestartNogoods=263
1161.75 => wckTime=1157.992 cpuTime=1149.37 mem=33M147
1674.01
1674.01 search
1674.01 run=24 nbConstraintChecks=1809120005 nbValidityChecks=104893877 nbPropagations=240658684 nbRevisions=3673448495
1674.01 nbUselessRevisions=3408684944 nbAssignments=904258 nbFailedAssignments=388786 nbBacktracks=505108
1674.01 nbVisitedNodes=1365988 nbRestartNogoods=297
1674.01 => wckTime=1670.252 cpuTime=1661.08 mem=33M147
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-215146-1168077860 -o ROOT/results/node18/solver-215146-1168077860 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215146-1168077860/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.82 1.89 1.90 4/93 22650
/proc/meminfo: memFree=923088/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=12076 CPUtime=0
/proc/22649/stat : 22649 (java) D 22647 22649 22582 0 -1 0 796 0 1 0 0 0 0 0 17 0 1 0 156180704 12365824 545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/22649/statm: 11854 960 760 14 0 1707 0
[startup+0.104169 s]
/proc/loadavg: 1.82 1.89 1.90 4/93 22650
/proc/meminfo: memFree=923088/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=914988 CPUtime=0.08
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 156180704 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512209 s]
/proc/loadavg: 1.82 1.89 1.90 4/93 22650
/proc/meminfo: memFree=923088/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915328 CPUtime=0.49
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 6590 0 1 0 45 4 0 0 18 0 8 0 156180704 937295872 6329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228832 6329 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33529 s]
/proc/loadavg: 1.83 1.89 1.90 4/100 22657
/proc/meminfo: memFree=861792/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915636 CPUtime=1.3
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 17661 0 1 0 121 9 0 0 25 0 8 0 156180704 937611264 17399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073544876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228909 17399 2157 14 0 215379 0
[pid=22649/tid=22651] ppid=22647 vsize=915636 CPUtime=0.05
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 1131 0 0 0 5 0 0 0 17 0 8 0 156180708 937611264 17399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937611264 17399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937611264 17399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937611264 17399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915636 CPUtime=0.14
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 156180712 937611264 17399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937611264 17399 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) R 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937611264 17399 18446744073709551615 134512640 134570532 4294956464 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) 915636
[startup+2.98444 s]
/proc/loadavg: 1.83 1.89 1.90 3/100 22657
/proc/meminfo: memFree=847968/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915636 CPUtime=2.94
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 21088 0 1 0 206 88 0 0 25 0 8 0 156180704 937611264 20825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827971 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228909 20825 2178 14 0 215379 0
[pid=22649/tid=22651] ppid=22647 vsize=915636 CPUtime=0.14
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 4463 0 0 0 13 1 0 0 16 0 8 0 156180708 937611264 20825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937611264 20825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937611264 20825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937611264 20825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915636 CPUtime=0.21
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 434 0 0 0 20 1 0 0 15 0 8 0 156180712 937611264 20825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937611264 20825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915636 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937611264 20825 18446744073709551615 134512640 134570532 4294956464 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) 915636
[startup+6.26577 s]
/proc/loadavg: 1.83 1.89 1.90 3/100 22657
/proc/meminfo: memFree=832352/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=6.19
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25391 0 1 0 522 97 0 0 25 0 8 0 156180704 937852928 25068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228968 25068 2534 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.3
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8235 0 0 0 28 2 0 0 16 0 8 0 156180708 937852928 25068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.34
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 519 0 0 0 33 1 0 0 15 0 8 0 156180712 937852928 25068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25068 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915872
[startup+12.7644 s]
/proc/loadavg: 1.86 1.90 1.91 4/100 22657
/proc/meminfo: memFree=832352/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=12.62
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25409 0 1 0 1165 97 0 0 25 0 8 0 156180704 937852928 25083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074166718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228968 25083 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.3
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8235 0 0 0 28 2 0 0 16 0 8 0 156180708 937852928 25083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.36
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 530 0 0 0 35 1 0 0 17 0 8 0 156180712 937852928 25083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915872
[startup+25.6236 s]
/proc/loadavg: 1.95 1.92 1.91 3/100 22657
/proc/meminfo: memFree=832480/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=25.37
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25422 0 1 0 2439 98 0 0 25 0 8 0 156180704 937852928 25092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228968 25092 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.3
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8235 0 0 0 28 2 0 0 16 0 8 0 156180708 937852928 25092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.38
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 541 0 0 0 37 1 0 0 16 0 8 0 156180712 937852928 25092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915872
[startup+51.2541 s]
/proc/loadavg: 1.97 1.92 1.91 3/100 22657
/proc/meminfo: memFree=832544/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=50.76
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25426 0 1 0 4978 98 0 0 25 0 8 0 156180704 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207556 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228968 25095 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.3
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8235 0 0 0 28 2 0 0 16 0 8 0 156180708 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.38
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 545 0 0 0 37 1 0 0 15 0 8 0 156180712 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915872
[startup+102.514 s]
/proc/loadavg: 1.98 1.93 1.91 3/100 22657
/proc/meminfo: memFree=831584/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=101.55
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 10056 99 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074160956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22649/statm: 228968 25346 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.32
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8482 0 0 0 30 2 0 0 16 0 8 0 156180708 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.4
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 551 0 0 0 38 2 0 0 17 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915872
[startup+162.522 s]
/proc/loadavg: 2.05 1.96 1.92 5/100 22657
/proc/meminfo: memFree=831584/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=161.01
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 16002 99 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074183675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.62
Current children cumulated vsize (KiB) 915872
[startup+1483.54 s]
/proc/loadavg: 1.41 1.84 1.91 2/88 23614
/proc/meminfo: memFree=1033472/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=1474.63
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 147340 123 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074160460 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22649/statm: 228968 25346 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.32
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8482 0 0 0 30 2 0 0 16 0 8 0 156180708 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.4
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 551 0 0 0 38 2 0 0 17 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.63
Current children cumulated vsize (KiB) 915872
[startup+1543.6 s]
/proc/loadavg: 1.71 1.84 1.90 3/100 23659
/proc/meminfo: memFree=1005728/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=1534.64
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 153340 124 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074158345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22649/statm: 228968 25346 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.32
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8482 0 0 0 30 2 0 0 16 0 8 0 156180708 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.4
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 551 0 0 0 38 2 0 0 17 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.64
Current children cumulated vsize (KiB) 915872
[startup+1603.66 s]
/proc/loadavg: 1.89 1.86 1.91 3/100 23659
/proc/meminfo: memFree=1005728/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=1594.62
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 159338 124 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074184328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22649/statm: 228968 25346 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.32
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8482 0 0 0 30 2 0 0 16 0 8 0 156180708 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.4
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 551 0 0 0 38 2 0 0 17 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.62
Current children cumulated vsize (KiB) 915872
[startup+1663.72 s]
/proc/loadavg: 1.96 1.89 1.91 3/100 23659
/proc/meminfo: memFree=1005728/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=1654.62
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 165338 124 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862886 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22649/statm: 228968 25346 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.32
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8482 0 0 0 30 2 0 0 16 0 8 0 156180708 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.4
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 551 0 0 0 38 2 0 0 17 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.62
Current children cumulated vsize (KiB) 915872
[startup+1723.77 s]
/proc/loadavg: 1.98 1.90 1.91 3/100 23659
/proc/meminfo: memFree=1005728/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=1714.62
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 171338 124 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830059 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22649/statm: 228968 25346 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.32
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8482 0 0 0 30 2 0 0 16 0 8 0 156180708 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.4
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 551 0 0 0 38 2 0 0 17 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.62
Current children cumulated vsize (KiB) 915872
[startup+1783.83 s]
/proc/loadavg: 2.07 1.93 1.91 3/100 23659
/proc/meminfo: memFree=1005736/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=1774.61
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 177336 125 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074181755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22649/statm: 228968 25346 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.32
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8482 0 0 0 30 2 0 0 16 0 8 0 156180708 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.4
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 551 0 0 0 38 2 0 0 17 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.61
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.23 s]
/proc/loadavg: 2.04 1.94 1.91 3/100 23659
/proc/meminfo: memFree=1005736/2055920 swapFree=4192812/4192956
[pid=22649] ppid=22647 vsize=915872 CPUtime=1800
/proc/22649/stat : 22649 (java) R 22647 22649 22582 0 -1 0 25685 0 1 0 179875 125 0 0 25 0 8 0 156180704 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074158336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22649/statm: 228968 25346 2537 14 0 215438 0
[pid=22649/tid=22651] ppid=22647 vsize=915872 CPUtime=0.32
/proc/22649/task/22651/stat : 22651 (java) S 22647 22649 22582 0 -1 64 8482 0 0 0 30 2 0 0 16 0 8 0 156180708 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22652] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22652/stat : 22652 (java) S 22647 22649 22582 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22653] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22653/stat : 22653 (java) S 22647 22649 22582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156180709 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22654] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22654/stat : 22654 (java) S 22647 22649 22582 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22655] ppid=22647 vsize=915872 CPUtime=0.4
/proc/22649/task/22655/stat : 22655 (java) S 22647 22649 22582 0 -1 64 551 0 0 0 38 2 0 0 17 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22656] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22656/stat : 22656 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22649/tid=22657] ppid=22647 vsize=915872 CPUtime=0
/proc/22649/task/22657/stat : 22657 (java) S 22647 22649 22582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156180712 937852928 25346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.29
CPU time (s): 1800.06
CPU user time (s): 1798.79
CPU system time (s): 1.26481
CPU usage (%): 99.4896
Max. virtual memory (cumulated for all children) (KiB): 916000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.26481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25702
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= 38358
involuntary context switches= 67333
runsolver used 2.22566 s user time and 5.79812 s system time
The end
Begin job on node18 on Sat Jan 6 10:04:20 UTC 2007
IDJOB= 215146
IDBENCH= 4979
FILE ID= node18/215146-1168077860
PBS_JOBID= 3475825
Free space on /tmp= 66281 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16a1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215146-1168077860/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-215146-1168077860 -o ROOT/results/node18/solver-215146-1168077860 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215146-1168077860/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8ecf8c3b7c7aed56c5fe90cde69ab01e
RANDOM SEED= 380195224
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.231
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.231
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: 923568 kB
Buffers: 69596 kB
Cached: 697784 kB
SwapCached: 0 kB
Active: 636144 kB
Inactive: 397032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 923568 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4608 kB
Writeback: 0 kB
Mapped: 294756 kB
Slab: 83736 kB
Committed_AS: 4800820 kB
PageTables: 2520 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= 66283 MiB
End job on node18 on Sat Jan 6 10:34:29 UTC 2007